Hãy tưởng tượng tôi có vô số bài toán về nhà (!) Mỗi ​​bài cho một số nguyên.

Ký hiệu vấn đề toán học là một ký hiệu để mô tả các tập hợp con của vấn đề bằng cách sử dụng các chỉ định vấn đề.

Biểu thức MPN có thể bao gồm một số điều:

• Một giá trị duy nhất. Điều này đại diện cho một bộ chứa số : 99 -> {99}.
• Một phạm vi đơn giản. Điều này thể hiện tập hợp chứa tất cả các số từ đầu đến cuối phạm vi : 10~13 -> {10, 11, 12, 13}. Nếu bên trái hoặc bên phải bị thiếu, thì chúng được giả sử là -Infinity hoặc Infinity tương ứng : ~10 -> {x|x ≤ 10}; ~ -> ℤ.
• Một biểu thức MPN, theo sau là "bỏ qua" và một biểu thức MPN khác. Điều này thể hiện sự khác biệt của hai bộ : 10~20 skip 12~14 -> {10, 11, 15, 16, 17, 18, 19, 20}.
• Hai biểu thức MPN, cách nhau bằng dấu phẩy. Điều này đại diện cho sự kết hợp của hai bộ : 1,8~9,15~17 -> {1,8,9,15,16,17}.

Toán tử "bỏ qua" liên kết chặt chẽ hơn toán tử dấu phẩy, vì vậy 16,110~112 skip 16 -> {16,110,111,112}(16 không được bao gồm trong tập hợp {110,111,112}, vì vậy việc loại trừ 16 không thành vấn đề.)

Bạn cũng có thể đặt biểu thức trong ngoặc đơn để định hướng: 1~9 skip (2~8 skip (3~7 skip (4~6 skip 5))) -> {1,3,5,7,9}

Đây là ngữ pháp:

<expr>  ::= "(" <expr> ")"
         || <number>
         || [<number>] "~" [<number>]
         || <expr> "skip" <expr>
         || <expr> "," <expr>

Nhiệm vụ của bạn là viết một chương trình có hai đầu vào:

• Biểu thức MPN
• Một số

và đưa ra một số giá trị trung thực hoặc falsey tùy thuộc vào vấn đề đó có nằm trong tập được mô tả bởi biểu thức MPN hay không.

Thông số kỹ thuật

• Bạn có thể giả sử rằng đầu vào đầu tiên là một biểu thức MPN được định dạng tốt (nghĩa là nó phù hợp với ngữ pháp trên)
• Các số trong biểu thức MPN luôn là số nguyên. Chúng có thể âm hoặc bằng 0, nhưng sẽ không bao giờ có phần phân số.
• Đây là môn đánh gôn , vì vậy bài nộp hợp lệ ngắn nhất (tính bằng byte) sẽ thắng.
• Bạn có thể sử dụng các ký tự khác nhau cho ~và ,, nếu bạn muốn.

Các trường hợp thử nghiệm

10~20             14 -> True
10~20             20 -> True
10~20 skip 14~18  17 -> False
~ skip 6          8  -> True
16,17 skip 16     16 -> True
(16,17) skip 16   16 -> False
~10,5~            8  -> True
~10,5~            4  -> True
6 skip 6,~        6  -> True

PowerShell , 189 195 byte

param($m,$q)('$m',"'(\d*)~(\d*)','($q-ge(`$1)-and$q-le(`$2))'","'\(\)',$q","'((?<=,|skip )\d+|\d+(?=,| skip))','($q-eq`$1)'","'skip','-and!'"-join'-replace'|iex|% Sp* ','|%{"($_)"})-join'-or'|iex

• Hãy thử trực tuyến! (với một MPN và giá trị)
• Hãy thử tất cả các trường hợp thử nghiệm với -100..100giá trị
• Xem mã trung gian được tạo, cho tất cả các trường hợp thử nghiệm (với 666 là giá trị)

Giải trình

Tôi đã sớm nhận ra rằng sự phổ biến làm cho điều này không thể thực hiện được để tạo ra các mảng và kiểm tra các giá trị.

Tôi đã xem xét các phạm vi nhưng trong .Net họ không có phạm vi cần thiết ( độ dài của phạm vi được giới hạn ở một số nguyên đã ký (32 bit), vì vậy ngay cả khi bạn có thể giới hạn phạm vi trong int 32 bit đã ký , Tôi sẽ không thể xử lý tất cả các phạm vi.

Vì vậy, tôi bắt đầu chỉ nghĩ về điều này về mặt bắt đầu và kết thúc, và cuối cùng là một loạt các bài kiểm tra boolean và bắt đầu tạo ra một loạt các biểu thức chính thay thế để biến MPN thành biểu thức boolean mà PowerShell hiểu được.

Về cơ bản, tôi đã chia nó thành một vài quy tắc:

• Phạm vi dễ dàng hơn để làm việc với đầu tiên vì chúng không thể là biểu thức ở hai đầu, nhưng kết thúc mở là một nỗi đau để thực hiện trong thời gian ngắn. Tiền đề 2~8giống như nói n >=2 && n <=8, nhưng khi một trong những kết thúc bị mất, hãy bỏ qua &&và bên còn thiếu. Khi cả hai bị mất, ban đầu tôi sẽ chỉ thay thế nó bằng $true. Những gì tôi đã làm cuối cùng không thực sự kiểm tra cho các mặt còn thiếu, nhưng tôi chắc chắn bọc từng số ().
• và sau đó thực hiện thay thế thẳng thay thế dấu ngoặc rỗng ()bằng giá trị đầu vào. Vì vậy, trong trường hợp MPN như ~8với giá trị đầu vào 55, thay thế đầu tiên sẽ tạo ra (55-ge()-and55-le(8)), sau đó thay thế thứ hai xuất hiện để làm cho nó (55-ge55-and55-le(8)), về cơ bản vô hiệu hóa phần đó của phạm vi.
• Tiếp theo tôi phải xử lý các số riêng lẻ trong MPN, nhưng phải cẩn thận để không gây rối với những số tôi đã chèn từ trước. Nó thực sự chỉ là những con số trong ,danh sách được phân tách bằng dấu phẩy và những con số riêng lẻ trước hoặc sau một skip, vì vậy tôi đã sử dụng những cái nhìn dài không may.
• skipvề cơ bản là giống như -and -notvì vậy tôi thẳng thay thế của skipđể -and!(sử dụng !như là viết tắt cho -not).
• Điều khó khăn tiếp theo là thứ tự ưu tiên thấp cho các dấu phẩy còn lại. Ban đầu tôi chỉ thay thế chúng bằng -ornhưng nó không giải thích cho các biểu thức tiếp theo nên 16,17 skip 16đã tạo mã như thế nào ($n-eq16)-or($n-eq17) -and! ($n-eq16). Nó cần dấu ngoặc đơn, nhưng điều đó dường như không thể thực hiện được với một sự thay thế thẳng. Vì tất cả những thứ khác đã được thay thế ngoại trừ dấu phẩy và chúng có mức ưu tiên thấp nhất, tôi chỉ tách toàn bộ chuỗi được tạo trên các dấu phẩy còn lại, sau đó bọc từng phần tử trong ngoặc đơn và nối lại với nó -or.

Cuối cùng, mã được tạo chỉ được đưa vào Invoke-Expression( iex) để được thực thi và sau đó chúng ta nhận được kết quả boolean ( bạn có thể thấy mã được tạo thay vì kết quả ở đây ).

Việc này diễn ra quá lâu và tôi chắc chắn có một số chỗ để vắt thêm vài byte nữa, nhưng tôi không thể nhìn vào nó nữa :-p

Perl, 99 130 byte

sub f{($_,$n)=@_;s/(-?\d+)?~(-?\d+)?|(-?\d+)/!(defined$3?$n!=$3:length$1&&$1>$n||length$2&&$n>$2)+0/ge;s/skip/&&!/g;s/,/||/g;eval}

Hãy thử nó trên Ideone.

Ung dung:

sub f {
    my ($e, $n) = @_;

    $e =~ s/(-?\d+)?~(-?\d+)?|(-?\d+)/ (defined($3) ? $n == $3 : (!length($1) || $n >= $1) && (!length($2) || $n <= $2)) + 0 /ge;
    $e =~ s/skip/ && ! /g;
    $e =~ s/,/ || /g;

    return eval($e);
}

JavaScript (ES6), 221 292 287 309 274 277 278 byte

(-5 byte nhờ Okx)

(j,v,m=1/0,Z=/(skip)([^,]+)/g)=>eval(j[M='replace'](/(-?\d*)~(-?\d*)/g,(e,a,b)=>(a[M]('-','#')||-m)+'<='+(T=v[M]('-','#'))+'&&'+T+'<='+(b[M]('-','#')||m))[M](Z,i=o=>o.match(Z)?i(o[M](Z,'&&!($2)')):o)[M](/,/g,'||')[M](/(^|[^=&#\d])(\d+)([^<\d]|$)/g,'$1$2=='+v+'$3')[M](/#/g,'-'))

Ồ Điều này không dễ dàng vì tất cả các trường hợp cạnh, nhưng tôi nghĩ rằng tôi đã làm nó. Tôi chỉ hy vọng không có trường hợp đặc biệt nào có thể phá vỡ các biểu thức thông thường được sử dụng. Tôi sẽ chơi golf này nhiều hơn bất cứ khi nào tôi có thể.

Kiểm tra đoạn trích

D=(j,v,m=1/0,Z=/(skip)([^,]+)/g)=>eval(j[M='replace'](/(-?\d*)~(-?\d*)/g,(e,a,b)=>(a[M]('-','#')||-m)+'<='+(T=v[M]('-','#'))+'&&'+T+'<='+(b[M]('-','#')||m))[M](Z,i=o=>o.match(Z)?i(o[M](Z,'&&!($2)')):o)[M](/,/g,'||')[M](/(^|[^=&#\d])(\d+)([^<\d]|$)/g,'$1$2=='+v+'$3')[M](/#/g,'-'))

MPN Expression:<input type="text" value="1~9 skip (2~8 skip (3~7 skip (4~6 skip 5)))" id="MPN"></input>
<br>
Integer:<input type="number" id="INT" value=6></input>
<input type="button" value="Submit" onclick="T=r=>document.getElementById(r).value;console.log(D(T('MPN'),T('INT')))"></input>

Röda + bc, 183 byte

f x{{["x=",x,"\n"];replace" ","",",","||","skip\\(","&&!","skip([0-9~]+)","&&!($1)","(?<!~|\\d)(\\d+)(?!~|\\d)","x==$1","(\\d*)~(\\d*)","x>=($1)&&x<=($2)","\\(\\)",x;["\n"]}|exec"bc"}

Điều này tương tự như câu trả lời của PowerShell (hoặc tôi nghĩ vậy, tôi không hiểu PowerShell). Nó lấy số làm đối số và mã làm giá trị trong luồng đầu vào, như thế này : main { push("1~9") | f(5) }.

Tôi nghĩ rằng nó hoạt động, ít nhất là nó giải quyết tất cả các trường hợp thử nghiệm. Kịch bản dưới đây có thể được sử dụng để xác minh điều này.

main {
    readLines("/tmp/tests.txt") | split(sep=";") | for code, num, ans do
        push(code, " -> ")
        print(code) | replace" ","",",","||","skip\\(","&&!","skip([0-9~]+)","&&!($1)","(?<!~|\\d)(\\d+)(?!~|\\d)","x==$1","(\\d*)~(\\d*)","x>=($1)&&x<=($2)","\\(\\)",num
        a := push(code) | f(num) | head()
        result := push("OK") if [ (a = "0" and ans = "False") or (a = "1" and ans = "True") ] else push("FAIL")
        print code, " ; ", num, " -> ", a, " ", ans, " (", result, ")\n"
    done
}

Và các bài kiểm tra:

10~20;14;True
10~20;20;True
10~20 skip 14~18;17;False
~ skip 6;8;True
16,17 skip 16;16;True
(16,17) skip 16;16;False
~10,5~;8;True
~10,5~;4;True
6 skip 6,~;6;True