Polisi dan Perampok: Reverse Regex Golf

76

Catatan : Tantangan ini sekarang sudah ditutup. Pengajuan polisi di masa mendatang tidak akan dipertimbangkan untuk jawaban yang diterima. Ini untuk memastikan bahwa tidak ada yang dapat memposting regex yang sangat sederhana di masa depan yang hanya tetap tidak terpecahkan karena tidak ada yang tertarik pada tantangan lagi.

Tantangan Polisi

Anda harus menulis regex pendek yang dikaburkan, memenuhi spesifikasi berikut:

  • Anda dapat memilih rasa apa pun yang dapat diuji secara online secara gratis. Ada daftar penguji online yang bagus di StackOverflow . Secara khusus, Regex101 harus baik untuk membantu Anda memulai, karena mendukung rasa PCRE, ECMAScript dan Python. Anda dapat menambah batas waktu dengan mengklik kunci pas di sudut kanan atas jika perlu. Harap sertakan tester yang Anda pilih dalam jawaban Anda.

    Jika tidak tersedia penguji yang sesuai dengan selera pilihan Anda, Anda juga dapat menggunakan juru bahasa online seperti ideone dan menulis skrip kecil dalam bahasa host yang dapat digunakan orang untuk menguji kiriman Anda.

  • Anda dapat menggunakan fitur apa pun dari rasa itu, yang tidak secara langsung memanggil bahasa host (seperti fitur evaluasi kode Perl).
  • Demikian juga, Anda dapat menggunakan pengubah (jika selera Anda memilikinya), kecuali jika mereka menghasilkan evaluasi kode.
  • Regex Anda harus menerima setidaknya satu string S dan menolak setidaknya satu string T , yang masing-masing setidaknya 16 dan panjangnya tidak lebih dari 256 karakter, dalam jumlah waktu yang wajar (tidak lebih dari satu menit). S dan T dapat berisi karakter Unicode yang bukan ASCII, asalkan ada cara untuk memasukkannya ke dalam penguji online. Setiap pasangan string seperti itu akan menjadi kunci untuk kiriman Anda.
  • Regex Anda mungkin butuh waktu lama untuk input lainnya.

Inti dari tantangannya adalah membuat regex yang kuncinya sulit ditemukan. Artinya, harus sulit untuk mengetahui string mana yang tidak cocok atau string mana yang cocok (atau berpotensi bahkan keduanya jika regex membutuhkan waktu berhari-hari untuk menyelesaikan semua kecuali string kunci).

Tantangan Perampok

Semua pengguna, termasuk mereka yang telah mengirimkan regex mereka sendiri, didorong untuk "memecahkan" kiriman lainnya. Kiriman retak ketika salah satu kuncinya diposting di bagian komentar terkait.

Penting: Pastikan bahwa kedua string yang Anda poskan antara 16 dan 256 karakter inklusif, bahkan jika hampir semua string dapat digunakan digunakan untuk satu bagian dari kunci.

Jika kiriman bertahan selama 72 jam tanpa diubah atau di-crack, penulis dapat mengungkapkan kunci yang valid dengan mengeditnya menjadi spoiler-tag dalam jawabannya. Ini akan membuat jawabannya "aman", artinya tidak bisa lagi dipecahkan.

Hanya satu upaya cracking per pengajuan per pengguna yang diizinkan. Misalnya, jika saya kirim ke pengguna X: "Kunci Anda adalah 0123456789abcdef/ fedcba9876543210." dan saya salah, pengguna X akan menyangkal dugaan saya sebagai salah dan saya tidak lagi dapat mengirimkan tebakan tambahan untuk kiriman itu, tetapi saya masih bisa memecahkan kiriman lain (dan yang lain masih bisa memecahkan kiriman itu).

Pengajuan yang retak dihilangkan dari pertikaian (asalkan tidak "aman"). Mereka tidak boleh diedit atau dihapus. Jika seorang penulis ingin mengirimkan regex baru, ia harus melakukannya dalam jawaban yang terpisah.

Jangan merusak kiriman Anda sendiri!

Catatan: Untuk string panjang dalam komentar tanpa spasi, SE menyisipkan baris manual jeda dalam bentuk dua karakter Unicode. Jadi, jika Anda memposting kunci dalam backticks yang sangat panjang sehingga membungkus garis di antara karakter non-spasi, itu tidak akan mungkin untuk menyalin kunci langsung kembali ke tester regex. Dalam hal ini, berikan tautan permanen ke tester regex yang relevan dengan regex polisi dan kunci Anda - sebagian besar penguji menyertakan fitur ini.

Mencetak gol

Skor polisi akan menjadi ukuran regex mereka dalam byte (pola plus pengubah, pembatas potensial tidak dihitung), asalkan belum retak. Skor terendah dari pengajuan "aman" akan menang.

Skor seorang perampok adalah jumlah pengiriman yang mereka retak. Jika terjadi pengikatan, ukuran total kiriman byte yang mereka crack akan digunakan sebagai pengikat-pengikat. Di sini, jumlah byte tertinggi menang.

Seperti yang dinyatakan di atas, polisi mana pun dapat berpartisipasi sebagai perampok dan sebaliknya.

Saya akan mempertahankan papan peringkat terpisah untuk dua bagian dari tantangan.

Papan peringkat

Pembaruan terakhir: 19/10/2014, 20:33 UTC

Polisi:

Kiriman dalam huruf miring belum aman.

  1. nneonneo , 841 bytes
  2. Wumpus Q. Wumbley , 10.602 byte
  3. Sp3000 , 52.506 byte
  4. user23013 , 53.884 bytes
  5. nneonneo , 656.813 bytes

Perampok:

  1. user23013 , Cracked: 11, Total Ukuran: 733 + 30 + 2.447 + 71 + 109 + 121 + 97 + 60 + 141 + 200.127 + 7.563 = 211.499 byte
  2. nneonneo , Retak: 10, Ukuran Total: 4.842 + 12.371 + 150 + 3.571 + 96 + 168 + 395 + 1.043 + 458 + 17.372 = 40.466 byte
  3. Wumpus Q. Wumbley , Cracked: 6, Total Ukuran: 22 + 24 + 158 + 32 + 145.245 + 145.475 = 290.956 byte
  4. Dennis , Cracked: 2, Total Ukuran: 70 + 73 = 143 byte
  5. harius , Cracked: 1, Total Size: 9.998 bytes
  6. g.roket , Retak: 1, Ukuran Total: 721 byte
  7. stokastic , Retak: 1, Ukuran Total: 211 byte
  8. Sp3000 , Retak: 1, Ukuran Total: 133 byte
  9. TwiNight , Retak: 1, Ukuran Total: 39 byte
Martin Ender
sumber
6
Saya bertanya-tanya berapa banyak baris kode yang kami tulis bersama untuk membangun teka-teki ini dan mencoba menyelesaikannya ... dan apakah akan bermanfaat untuk mengumpulkan semuanya dan menempelkannya pada github ketika kami selesai. Semua orang dapat berkontribusi apa pun yang mereka punya (encoders, decoder, solver baik yang berhasil maupun yang tidak berhasil), apa adanya, tanpa komentar dan retas meskipun mereka mungkin. Dengan README jika Anda menginginkannya. Itu akan seperti proses konferensi kami.
Meskipun tidak ada jawaban baru yang diposkan lagi, mungkin ada baiknya "menutup" pertanyaan di beberapa titik. Kalau tidak, mungkin saja seseorang menjawab ketika minatnya mereda, dan tidak terbantahkan untuk periode yang lebih lama.
nneonneo
@nneonneo Hm, saya biasanya tidak suka menutup tantangan saya, tetapi dalam hal ini mungkin ide yang bagus. Saya bahkan berpikir 3 entri terakhir sudah mendapat manfaat dari kurang mendapatkan perhatian. Saya akan menetapkan batas waktu untuk hari Jumat.
Martin Ender
@ MartinBüttner: Saya pikir itu akan menjadi standar bagi polisi & perampok tantangan untuk memiliki tanggal kedaluwarsa. Tantangan hanya tetap menarik untuk waktu yang lama. (Sebagai catatan, tantangan ini mungkin masih menjadi favorit pribadi saya, tetapi saya mungkin bias dalam pendapat itu :)
nneonneo

Jawaban:

19

.NET regex, 841 byte [Aman!]

Sekarang saya sudah mendapatkan entri yang aman, mari kita lihat seberapa kecil saya dapat membuat regex!

^(?<a>){53}((0(((?<-a>)(?<A>){7}|){997}((?<-b>)(?<B>){7}|){997}((?<-c>)(?<C>){7}|){997}((?<-d>)(?<D>){7}|){997}((?<-e>)(?<E>){7}|){997}((?<-f>)(?<F>){7}|){997}((?<-g>)(?<G>){7}|){997}(?<A>){5})|1(((?<-a>)(?<A>){3}|){997}((?<-b>)(?<B>){3}|){997}((?<-c>)(?<C>){3}|){997}((?<-d>)(?<D>){3}|){997}((?<-e>)(?<E>){3}|){997}((?<-f>)(?<F>){3}|){997}((?<-g>)(?<G>){3}|){997}(?<A>)))((?<-A>){997}(?<B>)|){9}((?<-A>)(?<a>)|){997}((?<-B>){997}(?<C>)|){9}((?<-B>)(?<b>)|){997}((?<-C>){997}(?<D>)|){9}((?<-C>)(?<c>)|){997}((?<-D>){997}(?<E>)|){9}((?<-D>)(?<d>)|){997}((?<-E>){997}(?<F>)|){9}((?<-E>)(?<e>)|){997}((?<-F>){997}(?<G>)|){9}((?<-F>)(?<f>)|){997}((?<-G>){997}|){9}((?<-G>)(?<g>)|){997}){256}$(?<-a>){615}(?(a)(?!))(?<-b>){59}(?(b)(?!))(?<-c>){649}(?(c)(?!))(?<-d>){712}(?(d)(?!))(?<-e>){923}(?(e)(?!))(?<-f>){263}(?(f)(?!))(?<-g>){506}(?(g)(?!))

Prettified :

^(?<a>){53}
(
    (0(
        ((?<-a>)(?<A>){7}|){997}
        ((?<-b>)(?<B>){7}|){997}
        ((?<-c>)(?<C>){7}|){997}
        ((?<-d>)(?<D>){7}|){997}
        ((?<-e>)(?<E>){7}|){997}
        ((?<-f>)(?<F>){7}|){997}
        ((?<-g>)(?<G>){7}|){997}
        (?<A>){5})
    |1(
        ((?<-a>)(?<A>){3}|){997}
        ((?<-b>)(?<B>){3}|){997}
        ((?<-c>)(?<C>){3}|){997}
        ((?<-d>)(?<D>){3}|){997}
        ((?<-e>)(?<E>){3}|){997}
        ((?<-f>)(?<F>){3}|){997}
        ((?<-g>)(?<G>){3}|){997}
        (?<A>))
    )
    ((?<-A>){997}(?<B>)|){9}((?<-A>)(?<a>)|){997}
    ((?<-B>){997}(?<C>)|){9}((?<-B>)(?<b>)|){997}
    ((?<-C>){997}(?<D>)|){9}((?<-C>)(?<c>)|){997}
    ((?<-D>){997}(?<E>)|){9}((?<-D>)(?<d>)|){997}
    ((?<-E>){997}(?<F>)|){9}((?<-E>)(?<e>)|){997}
    ((?<-F>){997}(?<G>)|){9}((?<-F>)(?<f>)|){997}
    ((?<-G>){997}|){9}      ((?<-G>)(?<g>)|){997}
){256}$

(?<-a>){615}(?(a)(?!))
(?<-b>){59}(?(b)(?!))
(?<-c>){649}(?(c)(?!))
(?<-d>){712}(?(d)(?!))
(?<-e>){923}(?(e)(?!))
(?<-f>){263}(?(f)(?!))
(?<-g>){506}(?(g)(?!))

Fitur:

  • Pendek , 841 byte
  • Golf dan ditulis dengan tangan
  • Tidak diketahui menyandikan masalah NP-hard
  • Waktu habis pada input paling tidak valid :)
  • Diuji pada http://regexhero.net/tester/ , butuh ~ 5 detik untuk input yang valid

Terima kasih kepada Sp3000 dan user23013 untuk membuat saya masuk ke .NET regex.


Setelah 72 jam, saya mengungkapkan kunci untuk membuat pengiriman ini aman.

Cocok :

1110111111110010000110011000001011011110101111000011101011110011001000000111111111001010000111100011111000000100011110110111001101011001000101111110010111100000000010110001111011011111100000011001101110011111011010100111011101111001110111010001111011000000

Tidak cocok :Aren'tHashFunctionsFun?

Penjelasan:

Ekspresi reguler ini mengimplementasikan fungsi hash yang sangat sederhana dan agak bodoh. Fungsi hash menghitung integer tunggal xsebagai output. xdimulai dari sama dengan 53. Ini disesuaikan berdasarkan masing-masing karakter yang ditemui: jika melihat 0, itu akan ditetapkan x = 7x + 5, dan jika melihat 1, itu akan ditetapkan x = 3x + 1. xkemudian dikurangi mod 997 7 . Hasil akhir diperiksa terhadap konstanta yang telah ditentukan; regex gagal mencocokkan jika nilai hash tidak sama.

Tujuh kelompok penangkap (ag) digunakan untuk menyimpan basis-997 digit x, dengan tujuh kelompok penangkap lebih (AG) berfungsi sebagai penyimpanan sementara. Saya menggunakan ekstensi "balancing capture groups" dari .NET regex untuk menyimpan integer dalam grup capture. Secara teknis, bilangan bulat yang terkait dengan setiap kelompok tangkapan adalah jumlah pertandingan tidak seimbang yang ditangkap oleh kelompok itu; "menangkap" string kosong menggunakan (?<X>)peningkatan jumlah tangkapan, dan "menyeimbangkan" grup menggunakan (?<-X>)mengurangi jumlah tangkapan (yang akan menyebabkan kegagalan pertandingan jika grup tidak memiliki tangkapan). Keduanya dapat diulang untuk menambah dan mengurangi konstanta tetap.

Algoritma hash ini hanya satu yang saya buat dengan tergesa-gesa, dan merupakan algoritma hash terkecil yang dapat saya buat dengan yang tampaknya cukup aman hanya dengan penambahan dan perkalian. Ini jelas tidak berkualitas kripto, dan ada kemungkinan akan kelemahan yang memungkinkan untuk menemukan tabrakan dalam waktu kurang dari 997 7 /2 evaluasi hash.

nneonneo
sumber
Saya punya ide ... Kemudian saya menyerah karena saya tidak punya ruang kosong 500 + GB di hard drive saya.
jimmy23013
3
Melihatnya sekarang dalam 3 kiriman yang tidak terputus, saya secara resmi mendaftarkan ketidaktahuan saya sepenuhnya tentang tujuan konstruk (?<a>){53}. Tampaknya menangkap pola kosong ke grup bernama a53 kali. Jadi atur a=""ulangi 52 kali? Tapi saya tidak benar-benar tahu apakah itu (?<berarti hal yang sama dalam ide Microsoft tentang regexp. Dokumentasi mereka gagal menyebutkannya . Jika bahkan kontes regexp berakhir dengan ekstensi Microsoft tidak berdokumen berguling di atas orang unix, keberadaan saya tidak memiliki tujuan.
Ini adalah tangkapan kelompok yang tidak menangkap apa pun sebanyak 53 kali. .NET memiliki ekstensi yang disebut tangkapan grup penyeimbang yang merupakan jawaban mereka untuk pencocokan paren. Setiap grup bernama bertindak seperti tumpukan, jadi (?<a>){53}dorong string kosong 53 kali. Anda dapat memunculkan tumpukan menggunakan (?<-a>). Semoga sekarang jelas mengapa konstruk ini sangat berguna.
nneonneo
2
@ WumpusQ.Wumbley Saya orang unix yang menemukan ini berguna.
jimmy23013
4
@ WumpusQ.Wumbley MSDN memiliki seluruh halaman tentang pengelompokan konstruksi . Yang dapat ditemukan dari referensi cepat . Yang merupakan hit pertama untuk "referensi regex bersih" , analog dengan istilah pencarian Perl Anda. (Sama untuk "sintaks", "manual" atau "spesifikasi").
Martin Ender
29

Basic Regex, 656813 bytes [aman!]

Regex untuk mengakhiri semua regex. Satu hore terakhir menuju malam.

Diuji di bawah PCRE, Perl, Python dan banyak lainnya.

versi bzip2'd dan base64-encoded di Pastebin: http://pastebin.com/9kprSWBn (Pastebin tidak ingin versi mentah karena terlalu besar).

Untuk memastikan Anda mendapatkan regex yang tepat, Anda dapat memverifikasi bahwa hash MD5-nya adalah

c121a7604c6f819d3805231c6241c4ef

atau periksa apakah itu dimulai dengan

^(?:.*[^!0-9@-Za-z].*|.{,255}|.{257,}|.[U-Za-z].{34}[12569@CDGHKLOPSTWXabefijmnqruvyz].{8}[02468@BDFHJLNPRTVXZbdfhjlnprtvxz].{210}

dan diakhiri dengan

.{56}[7-9@-DM-Tc-js-z].{121}[3-6A-DI-LQ-TYZabg-jo-rw-z].{28}[!0-9@-T].{48})$

Kuncinya masih nyaman 256 byte.

Saya menguji regex ini dengan Python, tetapi perhatikan bahwa regex ini tidak menggunakan fitur khusus Python. Memang, dengan pengecualian (?:)(sebagai mekanisme pengelompokan), itu sebenarnya tidak menggunakan fitur khusus dari mesin regex sama sekali: hanya kelas karakter dasar, pengulangan, dan penahan. Dengan demikian, harus dapat diuji dalam sejumlah besar mesin ekspresi reguler.

Yah, sebenarnya, saya masih bisa meningkatkan kesulitan, dengan asumsi seseorang tidak hanya langsung memecahkan masalah yang lebih kecil ... tapi saya bertaruh orang akan mengalami masalah dengan regex 1GB ...


Setelah 72 jam, pengiriman ini tetap tidak terpecahkan! Dengan demikian, saya sekarang mengungkapkan kunci untuk membuat kiriman aman. Ini adalah pengiriman aman pertama, setelah lebih dari 30 pengiriman dipecah berturut-turut oleh perampok gigih.

Pertandingan : Massive Regex Problem Survives The Night!
Tidak cocok :rae4q9N4gMXG3QkjV1lvbfN!wI4unaqJtMXG9sqt2Tb!0eonbKx9yUt3xcZlUo5ZDilQO6Wfh25vixRzgWUDdiYgw7@J8LgYINiUzEsIjc1GPV1jpXqGcbS7JETMBAqGSlFC3ZOuCJroqcBeYQtOiEHRpmCM1ZPyRQg26F5Cf!5xthgWNiK!8q0mS7093XlRo7YJTgZUXHEN!tXXhER!Kenf8jRFGaWu6AoQpj!juLyMuUO5i0V5cz7knpDX0nsL

Penjelasan regex:

Regex dihasilkan dari masalah 3SAT "keras" dengan solusi acak yang sengaja diperkenalkan. Masalah ini dihasilkan menggunakan algoritme dari [Jia, Moore & Strain, 2007]: "Menghasilkan Rumus Keras yang Memuaskan dengan Menyembunyikan Solusi Secara Curang". Enam variabel boolean dikemas ke dalam setiap byte kunci, dengan total 1.536 variabel.
Regex itu sendiri cukup sederhana: ia menyatakan masing-masing 7680 3SAT klausa sebagai kondisi terbalik (oleh hukum de Morgan), dan cocok dengan string apa pun yang tidak memenuhi salah satu dari klausa 3SAT. Oleh karena itu, kuncinya adalah string yang tidak cocok dengan regex, yaitu satu yang memenuhi setiap klausa.

nneonneo
sumber
1
Jadi, saya baru saja mencoba memuat 60MB regex ke Python. Bisa ditebak, itu tidak terlalu bahagia. Butuh beberapa menit untuk mengkompilasi, tetapi bagian yang paling keren adalah hampir instan untuk menjawab pertanyaan. Saya menduga memuat regex 1GB ke Python akan memakan waktu beberapa jam untuk dikompilasi ...
nneonneo
3
Atau tidak mudah. Berdasarkan upaya pertama saya untuk mengukirnya ke ukuran yang bisa dipecahkan, kita akan membutuhkan sekitar 2 ** 61 CPU untuk selesai tepat waktu.
12
Tantangannya dimulai, "Anda harus menulis regex pendek , dikaburkan" (penekanan ditambahkan)
Ypnypn
5
@Ypnypn Tantangannya sejauh ini adalah untuk bahkan mendapatkan regex yang tidak bisa diacak lagi - yang ini sepertinya akan menjadi yang pertama untuk menembus penghalang itu :)
Sp3000
3
@ MartinBüttner: Terima kasih! Saya sudah melakukannya. Sekarang saya harus pergi dan mencoba beberapa masalah regex NP-hard lainnya ...
nneonneo
17

ECMAScript (10602 byte)

(Catatan bahasa: Saya melihat banyak posting berlabel ruby, atau python, atau apa pun, ketika mereka benar-benar tidak menggunakan fitur khusus bahasa apa pun. Yang satu ini hanya memerlukan (?!...)dan (?=...)di atas POSIX ERE dengan backreferences. Fitur-fitur itu mungkin ada di mesin regexp bahasa favorit Anda, jadi jangan berkecil hati untuk mencoba tantangan karena saya memilih untuk menggunakan tester online javascript.)

Hanya sedikit bersenang-senang, tidak sesulit komputasi seperti yang lain.

^(?!(.).*\1.|.+(.).*\2)(?=(.))(?=(((?![ҁѧѦЩ]{2}).)*(?=[ҁѧѦЩ]{2}).){2}(?!.*[ЩѦҁѧ]{2}))(?=(((?![ɿqԼϚ]{2}).)*(?=[ϚqԼɿ]{2}).){2}(?!.*[ԼϚɿq]{2}))(?=((?![ϼλҡՄ]{2}).)*(?=[ҡλϼՄ]{2}).(?!.*[Մλϼҡ]{2}))(?=(((?![ʯֆɎF]{2}).)*(?=[FֆʯɎ]{2}).){2}(?!.*[FɎֆʯ]{2}))(?=(((?![AɔbУ]{2}).)*(?=[ɔbAУ]{2}).){3}(?!.*[ɔAbУ]{2}))(?=(((?![ʈͽՄɒ]{2}).)*(?=[ͽՄɒʈ]{2}).){2}(?!.*[ͽՄɒʈ]{2}))(?=(((?![ϙшѭϢ]{2}).)*(?=[Ϣϙѭш]{2}).){2}(?!.*[ѭшϙϢ]{2}))(?=(((?![ՐɏƋѠ]{2}).)*(?=[ƋՐɏѠ]{2}).){2}(?!.*[ѠƋՐɏ]{2}))(?=(((?![Жտʓo]{2}).)*(?=[Жտʓo]{2}).){2}(?!.*[Жʓտo]{2}))(?=(((?![ƆʙƸM]{2}).)*(?=[ƆʙMƸ]{2}).){2}(?!.*[ƆʙMƸ]{2}))(?=(((?![dNѤѯ]{2}).)*(?=[ѤѯNd]{2}).){2}(?!.*[ѤѯdN]{2}))(?=(((?![ҎvȵҜ]{2}).)*(?=[vҜȵҎ]{2}).){2}(?!.*[ҎvҜȵ]{2}))(?=(((?![ҹɀҀҤ]{2}).)*(?=[ɀҤҀҹ]{2}).){2}(?!.*[ҹҤҀɀ]{2}))(?=(((?![OɄfC]{2}).)*(?=[fOɄC]{2}).){3}(?!.*[ɄOfC]{2}))(?=((?![ǷϗЋԒ]{2}).)*(?=[ЋϗԒǷ]{2}).(?!.*[ԒϗЋǷ]{2}))(?=((?![էҹϞҀ]{2}).)*(?=[ҹҀէϞ]{2}).(?!.*[ϞէҹҀ]{2}))(?=(((?![QԶϧk]{2}).)*(?=[QkϧԶ]{2}).){2}(?!.*[ϧԶkQ]{2}))(?=(((?![cիYt]{2}).)*(?=[իYct]{2}).){2}(?!.*[tcYի]{2}))(?=(((?![ɐҷCɄ]{2}).)*(?=[CɄɐҷ]{2}).){3}(?!.*[CҷɐɄ]{2}))(?=(((?![ҥմѾϢ]{2}).)*(?=[ϢѾմҥ]{2}).){2}(?!.*[մϢѾҥ]{2}))(?=((?![Ϛǝjɰ]{2}).)*(?=[Ϛǝjɰ]{2}).(?!.*[jɰϚǝ]{2}))(?=((?![ϭBѾҸ]{2}).)*(?=[ѾҸϭB]{2}).(?!.*[ѾҸBϭ]{2}))(?=((?![ϼλyՎ]{2}).)*(?=[λՎyϼ]{2}).(?!.*[λՎyϼ]{2}))(?=((?![MԋƆƻ]{2}).)*(?=[ƻƆԋM]{2}).(?!.*[MƆԋƻ]{2}))(?=(((?![uԳƎȺ]{2}).)*(?=[uԳƎȺ]{2}).){3}(?!.*[ȺƎuԳ]{2}))(?=((?![ɂƐϣq]{2}).)*(?=[qϣƐɂ]{2}).(?!.*[ɂƐϣq]{2}))(?=(((?![ϫճωƺ]{2}).)*(?=[ωϫճƺ]{2}).){2}(?!.*[ճƺϫω]{2}))(?=((?![ζɏΞƋ]{2}).)*(?=[ɏƋζΞ]{2}).(?!.*[ɏƋζΞ]{2}))(?=(((?![Ӄxԏϣ]{2}).)*(?=[Ӄxԏϣ]{2}).){2}(?!.*[ԏxϣӃ]{2}))(?=(((?![ԈʄʫԻ]{2}).)*(?=[ԻʄԈʫ]{2}).){2}(?!.*[ʫԈԻʄ]{2}))(?=(((?![ɒէƣʈ]{2}).)*(?=[ʈɒէƣ]{2}).){2}(?!.*[ʈƣɒէ]{2}))(?=(((?![Ϥϟƺϫ]{2}).)*(?=[Ϥϫϟƺ]{2}).){3}(?!.*[ƺϫϤϟ]{2}))(?=((?![ɋȡþͼ]{2}).)*(?=[ȡþͼɋ]{2}).(?!.*[þͼȡɋ]{2}))(?=((?![ҡʈԄՄ]{2}).)*(?=[ʈԄՄҡ]{2}).(?!.*[ՄԄҡʈ]{2}))(?=(((?![ʌkȿՌ]{2}).)*(?=[Ռȿkʌ]{2}).){3}(?!.*[kՌȿʌ]{2}))(?=(((?![gǝժʮ]{2}).)*(?=[ǝgʮժ]{2}).){2}(?!.*[gǝʮժ]{2}))(?=((?![ɧƸȝՊ]{2}).)*(?=[ƸɧȝՊ]{2}).(?!.*[ՊȝɧƸ]{2}))(?=(((?![ɜȶʟɀ]{2}).)*(?=[ɀȶʟɜ]{2}).){3}(?!.*[ȶɀʟɜ]{2}))(?=((?![ƅѿOf]{2}).)*(?=[ѿfƅO]{2}).(?!.*[Oѿfƅ]{2}))(?=(((?![GҠƪԅ]{2}).)*(?=[ҠGԅƪ]{2}).){2}(?!.*[GԅƪҠ]{2}))(?=(((?![Һӻѩͽ]{2}).)*(?=[ӻͽҺѩ]{2}).){2}(?!.*[ͽҺѩӻ]{2}))(?=(((?![ʊLՅϪ]{2}).)*(?=[ՅʊLϪ]{2}).){3}(?!.*[LʊϪՅ]{2}))(?=(((?![ɅՈƪԅ]{2}).)*(?=[ƪԅՈɅ]{2}).){2}(?!.*[ԅՈƪɅ]{2}))(?=((?![ʇɊƈѹ]{2}).)*(?=[Ɋƈʇѹ]{2}).(?!.*[ʇƈѹɊ]{2}))(?=(((?![նЏYI]{2}).)*(?=[IYնЏ]{2}).){2}(?!.*[նЏIY]{2}))(?=((?![ͼխɷȡ]{2}).)*(?=[ͼȡɷխ]{2}).(?!.*[ɷխȡͼ]{2}))(?=((?![ҝɞҎv]{2}).)*(?=[ɞҎvҝ]{2}).(?!.*[Ҏҝvɞ]{2}))(?=(((?![eƪGω]{2}).)*(?=[Geƪω]{2}).){3}(?!.*[ƪeGω]{2}))(?=(((?![ɂɿƱq]{2}).)*(?=[Ʊqɿɂ]{2}).){2}(?!.*[Ʊqɂɿ]{2}))(?=((?![ƣЖoɒ]{2}).)*(?=[Жɒoƣ]{2}).(?!.*[ƣoɒЖ]{2}))(?=(((?![Ҵԉձϻ]{2}).)*(?=[ձԉϻҴ]{2}).){2}(?!.*[ϻԉձҴ]{2}))(?=((?![ɆɟѧE]{2}).)*(?=[EѧɆɟ]{2}).(?!.*[ѧEɆɟ]{2}))(?=((?![ѪɝȾѸ]{2}).)*(?=[ѪѸɝȾ]{2}).(?!.*[ѪѸȾɝ]{2}))(?=(((?![ßΩԂɥ]{2}).)*(?=[ɥΩßԂ]{2}).){2}(?!.*[ɥßԂΩ]{2}))(?=(((?![ӃդƐϣ]{2}).)*(?=[ƐդӃϣ]{2}).){2}(?!.*[ϣդƐӃ]{2}))(?=(((?![ѪլѸԿ]{2}).)*(?=[ԿѪѸլ]{2}).){2}(?!.*[ԿѪլѸ]{2}))(?=((?![ɉшƻϙ]{2}).)*(?=[ɉƻшϙ]{2}).(?!.*[ϙƻɉш]{2}))(?=((?![ѹփʯΨ]{2}).)*(?=[ʯփΨѹ]{2}).(?!.*[ѹʯփΨ]{2}))(?=((?![ƕϯʮҏ]{2}).)*(?=[ƕҏʮϯ]{2}).(?!.*[ҏϯʮƕ]{2}))(?=((?![ՌȿSբ]{2}).)*(?=[բՌSȿ]{2}).(?!.*[SȿբՌ]{2}))(?=(((?![ИщɌK]{2}).)*(?=[ɌщИK]{2}).){2}(?!.*[ɌИщK]{2}))(?=(((?![aҵɸւ]{2}).)*(?=[ւҵaɸ]{2}).){2}(?!.*[aւɸҵ]{2}))(?=(((?![լѸխɷ]{2}).)*(?=[ɷѸլխ]{2}).){2}(?!.*[խɷլѸ]{2}))(?=(((?![ՉLʝϥ]{2}).)*(?=[LϥʝՉ]{2}).){2}(?!.*[ՉϥʝL]{2}))(?=((?![ʬϬȝɣ]{2}).)*(?=[Ϭɣȝʬ]{2}).(?!.*[ȝɣϬʬ]{2}))(?=(((?![ɺȴҵւ]{2}).)*(?=[ȴɺҵւ]{2}).){3}(?!.*[ҵȴɺւ]{2}))(?=(((?![ΞʇɊζ]{2}).)*(?=[ζɊʇΞ]{2}).){2}(?!.*[ΞɊζʇ]{2}))(?=(((?![դփӃΨ]{2}).)*(?=[ΨփդӃ]{2}).){2}(?!.*[ΨփդӃ]{2}))(?=((?![ԳuҦc]{2}).)*(?=[uԳҦc]{2}).(?!.*[ҦucԳ]{2}))(?=(((?![ԻЭɌщ]{2}).)*(?=[ԻɌщЭ]{2}).){2}(?!.*[ɌщԻЭ]{2}))(?=((?![ЉջѮӺ]{2}).)*(?=[ӺЉѮջ]{2}).(?!.*[ѮӺЉջ]{2}))(?=(((?![ӿѤɹN]{2}).)*(?=[ӿɹѤN]{2}).){3}(?!.*[ѤNɹӿ]{2}))(?=(((?![ƕʮBg]{2}).)*(?=[Bʮgƕ]{2}).){3}(?!.*[Bʮgƕ]{2}))(?=((?![կƛȸԓ]{2}).)*(?=[ƛȸԓկ]{2}).(?!.*[կԓƛȸ]{2}))(?=(((?![ɥДȸh]{2}).)*(?=[ɥhДȸ]{2}).){2}(?!.*[ɥhȸД]{2}))(?=(((?![ʁԺեW]{2}).)*(?=[եWԺʁ]{2}).){2}(?!.*[ԺʁWե]{2}))(?=((?![ɮςϿʢ]{2}).)*(?=[ʢϿɮς]{2}).(?!.*[ɮςʢϿ]{2}))(?=(((?![ձУAƾ]{2}).)*(?=[ƾУձA]{2}).){2}(?!.*[УAձƾ]{2}))(?=(((?![ԻϠɌʄ]{2}).)*(?=[ʄɌԻϠ]{2}).){2}(?!.*[ϠɌʄԻ]{2}))(?=((?![ɜҥմȶ]{2}).)*(?=[ҥȶɜմ]{2}).(?!.*[ҥȶɜմ]{2}))(?=(((?![ƏՀթϞ]{2}).)*(?=[թՀƏϞ]{2}).){2}(?!.*[ƏՀթϞ]{2}))(?=((?![ҩɃȽϛ]{2}).)*(?=[ɃȽϛҩ]{2}).(?!.*[ҩϛɃȽ]{2}))(?=((?![ҠȺԃD]{2}).)*(?=[ȺҠԃD]{2}).(?!.*[DԃҠȺ]{2}))(?=((?![ɆʊLϥ]{2}).)*(?=[LϥʊɆ]{2}).(?!.*[ʊϥɆL]{2}))(?=(((?![ͽѩɒЖ]{2}).)*(?=[ͽɒѩЖ]{2}).){2}(?!.*[ѩɒЖͽ]{2}))(?=(((?![ςϪʢƩ]{2}).)*(?=[ƩʢςϪ]{2}).){3}(?!.*[ςƩϪʢ]{2}))(?=(((?![ҁϥѧɆ]{2}).)*(?=[ϥѧҁɆ]{2}).){2}(?!.*[ѧҁϥɆ]{2}))(?=((?![Жϗѩʓ]{2}).)*(?=[ʓϗЖѩ]{2}).(?!.*[ʓЖϗѩ]{2}))(?=(((?![ʁեɋþ]{2}).)*(?=[ʁɋեþ]{2}).){2}(?!.*[þեʁɋ]{2}))(?=((?![Mnƻɉ]{2}).)*(?=[Mɉƻn]{2}).(?!.*[ƻMnɉ]{2}))(?=(((?![HʬϬѺ]{2}).)*(?=[HѺʬϬ]{2}).){2}(?!.*[ϬѺʬH]{2}))(?=(((?![cիըҦ]{2}).)*(?=[ըҦիc]{2}).){2}(?!.*[cիҦը]{2}))(?=((?![ȸɥկΩ]{2}).)*(?=[ɥΩկȸ]{2}).(?!.*[ɥȸկΩ]{2}))(?=(((?![ʫҝԲɞ]{2}).)*(?=[ʫԲɞҝ]{2}).){2}(?!.*[ʫɞԲҝ]{2}))(?=(((?![ҺЋϗѩ]{2}).)*(?=[ѩҺϗЋ]{2}).){3}(?!.*[ҺѩЋϗ]{2}))(?=((?![ʯΨɎч]{2}).)*(?=[ʯΨɎч]{2}).(?!.*[ʯΨɎч]{2}))(?=(((?![ѮɔЉA]{2}).)*(?=[ЉɔѮA]{2}).){2}(?!.*[ѮɔAЉ]{2}))(?=(((?![ʞӶdN]{2}).)*(?=[dNʞӶ]{2}).){2}(?!.*[ӶNdʞ]{2}))(?=(((?![ԀŋҔɴ]{2}).)*(?=[ŋԀҔɴ]{2}).){3}(?!.*[ҔɴŋԀ]{2}))(?=(((?![ΠЪƏթ]{2}).)*(?=[ƏΠթЪ]{2}).){3}(?!.*[ΠթЪƏ]{2}))(?=(((?![OՌѿբ]{2}).)*(?=[ՌOբѿ]{2}).){2}(?!.*[OբՌѿ]{2}))(?=((?![ɮȾʢѪ]{2}).)*(?=[ɮȾʢѪ]{2}).(?!.*[ѪȾɮʢ]{2}))(?=((?![ЪϤՋΠ]{2}).)*(?=[ϤΠЪՋ]{2}).(?!.*[ՋΠЪϤ]{2}))(?=((?![Մͽӻϼ]{2}).)*(?=[ͽϼՄӻ]{2}).(?!.*[ϼͽՄӻ]{2}))(?=((?![ԋҳѦЩ]{2}).)*(?=[ѦԋЩҳ]{2}).(?!.*[ѦЩҳԋ]{2}))(?=((?![gҶҸB]{2}).)*(?=[BҶgҸ]{2}).(?!.*[ҸBgҶ]{2}))(?=(((?![ɢλҡѥ]{2}).)*(?=[λҡɢѥ]{2}).){2}(?!.*[ѥλɢҡ]{2}))(?=(((?![AϻЉձ]{2}).)*(?=[ϻձЉA]{2}).){2}(?!.*[ϻձЉA]{2}))(?=((?![tRիp]{2}).)*(?=[Rtpի]{2}).(?!.*[tpRի]{2}))(?=(((?![ɮȹϿÞ]{2}).)*(?=[ϿɮÞȹ]{2}).){2}(?!.*[ϿɮȹÞ]{2}))(?=((?![ϯժʮџ]{2}).)*(?=[ժџϯʮ]{2}).(?!.*[џϯʮժ]{2}))(?=(((?![HʬȠҨ]{2}).)*(?=[HҨȠʬ]{2}).){2}(?!.*[ȠҨʬH]{2}))(?=((?![ՒԉPϻ]{2}).)*(?=[ԉϻPՒ]{2}).(?!.*[PϻԉՒ]{2}))((?=Գ[նƎuc]|ƕ[Bʮȴҏ]|ϣ[ԏɂӃƐ]|Ʊ[ɿϬӄɂ]|Ѿ[ϭϢҸҥ]|ͽ[ѩӻՄɒ]|ɷ[խͼլ]|փ[դiѹΨ]|ϛ[ɅɃȽՀ]|Ԃ[ɥѭմß]|խ[ȡɐѸɷ]|P[ȠՒԉ]|ӷ[ЩEՊƆ]|Ə[ΠթƣϞ]|ч[xɎΨ]|ʄ[ԈϠԻҺ]|Љ[AѮϻջ]|ɒ[ʈƣЖͽ]|ʞ[ӶɔNЦ]|Ɛ[ϣɰqդ]|ʮ[ϯժƕg]|ɥ[ȸДԂΩ]|Ҕ[ŋՐɺɴ]|χ[Ԏѯ]|Ջ[ΠϤԾտ]|Ɏ[чʯֆ]|ҥ[մѬѾȶ]|ɞ[ҝҎԲ]|ҏ[ƕՐϯɺ]|Հ[ϛթϞw]|y[ϼԈҝՎ]|λ[ѥՎϼҡ]|Մ[ͽҡϼʈ]|ϟ[ϫϤԾ]|Ћ[ǷϠҺϗ]|ʫ[ԲԈҝԻ]|ǝ[gjɰժ]|Ԅ[ҡҹʟʈ]|ʌ[kՌэC]|ȶ[ҥЊɜʟ]|Ɍ[щИԻϠ]|ի[Rtըc]|Ո[ƪƺЪɅ]|ƺ[ՈϤϫω]|ß[ԂΩɜҤ]|I[նЏљ]|ҷ[ȡэCɐ]|Ц[ςbʞɹ]|Ǝ[ǂȺԳG]|ӄ[ƱӾѺ]|ʇ[ζiɊѹ]|ֆ[ɎF]|ɏ[ѠΞƋ]|Բ[ɞʫЭ]|Ի[ɌЭʫʄ]|ƪ[ԅωGՈ]|ȡ[խɋͼҷ]|Ϡ[ɌдʄЋ]|ɋ[эʁþȡ]|U[ɝɄՅʝ]|ɺ[ҵȴҏҔ]|Ƚ[ԅϛDҩ]|Ɋ[ƈʇΞ]|ժ[Φʮǝџ]|Ӿ[ӄɂԏ]|Ψ[Ӄчʯփ]|Ω[Ղկßɥ]|щ[KɌЭ]|ɉ[nҶшƻ]|Ժ[WԱե]|G[ƎeҠƪ]|ղ[կՂՑɃ]|Ӷ[ԷʞdѮ]|u[ȺԳQҦ]|Ѡ[ɴɏՐ]|ƛ[ԓՑѿկ]|ɜ[ɀմßȶ]|Ҵ[ԉձʡɧ]|ȿ[kSՌԃ]|ɂ[qӾϣƱ]|Պ[ӷɧƸʡ]|Щ[ѧѦӷԋ]|Ⱦ[ѪɝʢՅ]|Ƀ[ղҩwϛ]|Ҏ[vҜɞ]|ɐ[ҷɄɝխ]|ԏ[ϣxӾ]|Ҁ[ҹϞҤw]|մ[ԂҥɜϢ]|ҳ[ДԋϙѦ]|Ϛ[jɰqԼ]|w[ҀՀɃՂ]|E[ӷɟѧʡ]|У[μAbƾ]|ձ[ҴϻƾA]|ɟ[ɆμEƾ]|Ҥ[ҀßՂɀ]|v[ȵҎՎҝ]|ш[ϢϙɉҸ]|Ͽ[ɹɮςÞ]|O[fCՌѿ]|ʁ[ԶեWɋ]|ȹ[ÞԿɮ]|Ϟ[ՀէҀƏ]|ԋ[ƻҳЩƆ]|ƅ[fԓՉѿ]|ω[ƺeճƪ]|ʈ[ɒԄՄէ]|Ԉ[ʫʄӻy]|Ƌ[ζՐϯɏ]|ɰ[ǝƐΦϚ]|ȴ[ƕϭւɺ]|Δ[Չhҁԓ]|Π[ՋЪoƏ]|Ϫ[ʢƩʊՅ]|ӻ[ҺԈͽϼ]|ʝ[ՉLfU]|Ծ[ϟrՋ]|þ[ɋեͼ]|ӿ[ѤɹÞ]|բ[ՌՑSѿ]|ҡ[λՄɢԄ]|ɸ[ȻՃaҵ]|д[ϠИǷ]|ճ[ωϫл]|ɀ[ҹҤʟɜ]|л[ճeљ]|Ϥ[ϟЪƺՋ]|c[ԳYҦի]|Ռ[Oʌբȿ]|ն[ԳǂYI]|Ʌ[ԅϛՈթ]|ҝ[yɞʫv]|p[ƜRt]|ƣ[էƏɒo]|Ҷ[Ҹɉgj]|A[УձɔЉ]|Þ[ȹϿӿ]|Ƿ[дЋԒ]|k[QԶȿʌ]|ջ[ՒӺЉ]|Ɇ[ʊѧϥɟ]|ʢ[ςϪɮȾ]|ѭ[ДϢϙԂ]|ʘ[ЏƜt]|ѹ[ʇʯփƈ]|ʟ[Ԅȶɀɢ]|ϯ[ҏƋʮџ]|լ[ԿɷѸ]|Ƹ[ՊʙƆȝ]|N[ɹʞdѤ]|ς[ЦϿʢƩ]|ǂ[eƎљն]|ѧ[ɆEҁЩ]|ɴ[ѠҔԀ]|Ʉ[ɐfCU]|ҹ[ԄҀէɀ]|Ւ[ջPϻ]|ѥ[ɢλaՃ]|o[ΠտЖƣ]|g[BҶʮǝ]|Կ[լѪȹ]|Џ[ʘIY]|Y[ctЏն]|Ҡ[ȺDGԅ]|Ѧ[Щҁҳh]|Ѻ[HϬӄ]|ɹ[NЦϿӿ]|ԓ[ƛƅΔȸ]|f[OƅɄʝ]|L[ʝʊՅϥ]|ϼ[yӻλՄ]|џ[ζժiϯ]|ҩ[SɃȽՑ]|Ʃ[Ϫμbς]|դ[փƐӃΦ]|Ѯ[ӶӺЉɔ]|ƻ[ɉԋϙM]|ѩ[ҺϗͽЖ]|ʊ[μɆϪL]|Ж[ɒʓѩo]|B[ƕҸgϭ]|ԅ[ҠɅƪȽ]|ɔ[ʞѮAb]|ϗ[ЋʓԒѩ]|Ɔ[ӷMƸԋ]|љ[лǂI]|ȸ[ɥԓhկ]|q[ƐɿϚɂ]|Ҹ[шҶBѾ]|ʡ[ҴƾEՊ]|Ԏ[dχԷ]|j[ϚnǝҶ]|Ҧ[uըcϧ]|ϻ[ՒЉԉձ]|ʙ[ƸԼɣM]|ե[ʁþԺ]|Ƞ[PHҨ]|Φ[ɰդiժ]|Њ[ɢaѬȶ]|b[ɔƩЦУ]|Չ[ʝƅϥΔ]|ϧ[ԶҦWQ]|Ճ[ѥɸȵՎ]|Ҩ[ɧԉȠʬ]|ҁ[ΔѧѦϥ]|Ց[ҩƛղբ]|ɿ[qԼɣƱ]|μ[УƩɟʊ]|e[ωǂGл]|Һ[Ћʄѩӻ]|ѯ[dѤχ]|Ԓ[Ƿюϗ]|ҵ[ɸɺŋւ]|տ[Ջʓro]|ϙ[ѭƻҳш]|R[իԱp]|Ɯ[pʘ]|r[Ծюտ]|ƈ[ɊѹF]|M[ʙnƆƻ]|i[փʇΦџ]|ƾ[ձУʡɟ]|ɝ[ѸȾɐU]|ю[Ԓʓr]|Д[hҳѭɥ]|a[Њѥւɸ]|Յ[LUϪȾ]|ϭ[ѬBѾȴ]|Ѹ[Ѫɝխլ]|D[ԃȽҠS]|Ⱥ[ԃuƎҠ]|Ȼ[ŋȵɤɸ]|э[ʌԶҷɋ]|Ѥ[ѯӿN]|ԃ[ȺDȿQ]|ȵ[ҜȻՃv]|S[բȿҩD]|Ղ[ҤwΩղ]|ɢ[ѥҡʟЊ]|ɣ[Ϭɿȝʙ]|Վ[yvλՃ]|Ϭ[ɣʬƱѺ]|Ӄ[ϣxΨդ]|թ[ƏɅЪՀ]|ȝ[ʬƸɧɣ]|Ԁ[ɤɴŋ]|ѿ[ƅOƛբ]|H[ȠʬѺ]|F[ֆƈʯ]|Ѫ[ѸȾɮԿ]|է[ʈƣϞҹ]|ʯ[ѹFɎΨ]|ŋ[ȻҔԀҵ]|ɤ[ԀҜȻ]|ԉ[ҴPҨϻ]|ͼ[ȡɷþ]|t[իʘpY]|Ϣ[ѭմѾш]|Э[щԲԻ]|ɮ[ʢѪϿȹ]|ϫ[ƺճϟ]|Ѭ[Њւϭҥ]|Լ[Ϛnɿʙ]|Ξ[ζɊɏ]|Է[ԎӺӶ]|Q[ϧkԃu]|ւ[ҵaѬȴ]|Ր[ѠҏҔƋ]|ը[իԱWҦ]|ʓ[տϗюЖ]|K[щИ]|Ӻ[ԷѮջ]|x[чӃԏ]|И[KɌд]|ʬ[HҨȝϬ]|Ա[RըԺ]|ɧ[ȝҴՊҨ]|n[jɉMԼ]|C[ʌҷɄO]|W[ϧըʁԺ]|h[ДѦΔȸ]|ϥ[ՉLɆҁ]|Ъ[ΠՈϤթ]|կ[Ωղƛȸ]|ζ[џΞʇƋ]|Ҝ[ɤҎȵ]|Զ[ϧkʁэ]|d[ԎNѯӶ]).){3,}\3

Uji di sini: http://regex101.com/r/kF2oQ3/1

(jangkrik berkicau)

Tanpa peminat? Anehnya mengecewakan untuk memikirkan memposting spoiler tanpa bukti bahwa ada orang yang melihatnya cukup lama untuk memahami jenis masalah apa itu.

Saya menulis penjelasan lengkap untuk dikirim nanti, tetapi saya pikir saya akan lebih bahagia jika seseorang mengalahkan saya.

Ketika saya mengatakan itu bukan "kesulitan komputasi" ... itu adalah contoh dari masalah NP-complete, tapi bukan contoh besar .

Petunjuk: ini adalah jenis puzzle pensil dan kertas. Tapi saya akan sangat terkesan jika Anda bisa menyelesaikan ini dengan pensil dan kertas saja (setelah decoding regexp menjadi bentuk yang cocok untuk dicetak).

Waktu spoiler

Ada beberapa level spoiler di sini. Jika Anda belum menyelesaikan regexp, Anda mungkin ingin mencoba lagi setelah membaca hanya blok spoiler pertama. Kunci aktual yang cocok dengan regexp adalah setelah blok spoiler terakhir.

Regexp ini menyandikan teka-teki Slitherlink .

Setelah Anda mengetahui apa yang terjadi dan mengubah regexp menjadi kisi Slitherlink, Anda akan segera menemukan bahwa itu lebih sulit daripada rata-rata Slitherlink. Ada di kotak 16x16 persegi, lebih besar dari 10x10 biasa. Ini juga sedikit tidak biasa karena tidak memiliki 0petunjuk dan kekurangan relatif 3. 0Ini 3adalah petunjuk termudah untuk dikerjakan, jadi saya tidak ingin memberi Anda banyak dari mereka.

teka-teki slitherlink

Lapisan kedua pembusukan:

Saat Anda memecahkan teka-teki Slitherlink, kejutan tambahan muncul: Slitherlink ini memiliki lebih dari satu solusi. Jika Anda seorang pemecah Slitherlink biasa, dan Anda memiliki kebiasaan membuat kesimpulan berdasarkan asumsi solusi unik, Anda mungkin bingung dengan hal itu. Jika demikian, Anda seorang penipu dan ini adalah hukuman Anda! Bagian dari tugas seorang pemecah teka-teki adalah mencari tahu berapa banyak solusi yang ada.

Lapisan akhir pembusukan:

Sentuhan terakhir: 2 solusi untuk Slitherlink sebagian besar identik, tetapi satu sedikit lebih panjang dari yang lain. Anda perlu menemukan yang pendek. Jika Anda hanya menemukan yang panjang dan menyandikannya sebagai string yang cocok dengan regexp, string tersebut akan sepanjang 257 karakter. Path melewati 256 node, tetapi Anda harus mengulang simpul pertama di akhir untuk menutup loop. Dan jika Anda sampai sejauh itu, Anda mungkin berpikir saya membuat kesalahan dan lupa menghitung karakter tambahan itu. Nggak! dan / atau Gotcha! (dan / atau Boosh! dan / atau Kakow!)

Solusi singkatnya adalah 254 segmen dan dikodekan ke string 255 karakter yang merupakan kuncinya. Karena Anda dapat mulai dari simpul mana saja di loop dan melanjutkan searah jarum jam atau berlawanan arah jarum jam, ada 254 * 2 = 508 kemungkinan jawaban.

solusi slitherlink

Tidak cocok: bananabananabanana
Cocok: ƜpRԱԺեþɋэʌkȿՌOfɄCҷɐխɷլԿѪɮȹÞӿѤNɹЦʞӶdѯχԎԷӺջՒϻЉAɔbУƾձҴԉҨʬHѺӄӾԏxчɎֆFƈɊΞζџiփΨӃϣɂƱϬɣɿqϚɰƐդΦժʮgBƕȴւҵɺҏϯƋՐѠɴҔŋԀɤȻɸaЊѬҥѾҸшɉҶjnMʙƸՊʡEɟμƩςʢϪʊLՅȾɝUʝՉϥҁѧЩӷƆԋҳϙѭϢմԂɥȸhΔԓƛѿբՑҩSDȽԅҠGeωƪՈɅϛɃwҀҤՂΩßɜȶʟɀҹԄҡλѥՃȵҜҎɞԲЭщɌИдϠʄԻʫҝyϼӻҺЋϗѩͽɒʈէϞՀթЪΠƏƣoտʓюrԾϟϤƺϫճлљIնǂƎԳuȺԃQϧԶʁWըիcYЏʘƜ
Bukti: http://regex101.com/r/pJ3uM9/2


sumber
Selamat telah berhasil melewati 72 jam! Sekarang Anda dapat mengunci jawaban agar tidak retak dengan mengungkapkan kunci. Sampai Anda melakukannya, jawabannya masih bisa di-crack.
Martin Ender
Saya mencoba tetapi tidak menemukan itu planar ...
jimmy23013
14

Perasa Perl, 158 [retak]

Inilah upaya pertama saya:

(?(R)|^(?=[a-z]))((?!.*(?&K))(((?|([?-K])|(?'K'$)|(?'k'j'k'?)|(?'k'C[^_^]{3,33}))(?(3)\3|3)){3}(?(R)R(-.-)|(?R))(?'k'<grc>-(?!(?&k))\4(?(R)|\$\4(?5)$)))|(?R))

Uji di ideone.com

(?(R)|^(?=[a-z]))Karakter pertama harus huruf kecil
(?!.*(?&K))string tidak dapat berisi huruf dalam rentang ASCII [?-K]
(?|...|(?'k'j'k'?)|...)pertandingan j'k(kelompok lain yang ikan haring dasarnya red)
(?(3)\3|3){3}secara rekursif sesuai kelompok 3, atau '3' setelah 3 tingkat rekursi, diulang 3 kali
(?(R)...|(?R))recurse atas seluruh regex sekali atau cocok dengan beberapa karakter
...(?!(?&k))...saya pikir ini [?-K]lagi, tapi saya tidak ingat
(?(R)|...$)setelah rekursi, cocokkan beberapa grup dan akhiri string
|(?R)jika ada yang gagal cocok, maka sudah waktunya untuk rekursi tak terbatas: D

grc
sumber
4
Cocok: j'k3j'kj'k3j'kj'kj'k3j'k3j'kj'k3j'kj'kj'k3R-k-<grc>-j'k<grc>-j'k$j'k-k-Tidak cocok: HOLYCRAPTHATWASEVIL(cocok tersedia di ideone.com/pXaGaX untuk bukti)
16
Semua orang yang mencoba untuk menyelesaikan ini dan mendapatkan setengah jalan di sana sekarang siap untuk mengirim 2 laporan bug dan 3 patch dokumentasi untuk mesin perl regexp. (Dan kita semua untuk hal-hal yang berbeda)
7
+1 untuk kunci keren dan memiliki emotikon di regex Anda[^_^] (-.-)
justhalf
@ WumpusQ. Wumbley Bagus sekali! Saya pikir para perampok memenangkan yang ini :(
grc
3
Komentar saya sebelumnya sebagian besar lelucon, tetapi mungkin beberapa penjelasan akan menyenangkan. Penggunaan bernama kelompok capture dalam (?|...)adalah rumit, tetapi yang didokumentasikan. Lihat bagian dalam perlreyang dimulai dengan Be careful when using the branch reset pattern in combination with named captures.Triknya adalah bahwa kelompok yang memiliki nomor yang sama tetapi nama yang berbeda adalah kelompok yang sama , sedangkan kelompok yang memiliki nama yang sama tetapi nomor yang berbeda adalah kelompok yang berbeda .
12

Rasa JS, 9998 bytes [retak]

^(?!.*(.).*\1)(?=M)((?=!7|!D|!a|!§|!¾|!Ö|!ù|!Ě|!į|!Ň|"C|"s|"t|"¡|"°|"»|"è|"ñ|"÷|"ķ|"ļ|"Œ|#W|#k|#l|#o|#q|#¶|#À|#Â|#Æ|#č|%!|%1|%O|%ÿ|%Ĕ|%Ğ|%Ī|%ĭ|&e|&q|&Õ|&æ|&ü|&đ|&Ĩ|'%|'`|'k|'¯|'É|'í|'þ|'ė|'Ğ|'ĩ|'IJ|'ļ|'ł|,%|,'|,l|,ª|,®|,¸|,¹|,ã|,õ|,Ċ|,Ġ|,Ī|,İ|,Ņ|-U|-V|-»|-Ï|-Þ|-ì|0_|0u|0°|0Ġ|0İ|0ł|1#|1-|1g|1å|1é|1ą|1Ļ|1ń|2B|2O|2¬|2ë|2ò|2õ|2Ğ|2ĩ|2į|2IJ|2ļ|3d|3²|3Ï|3Þ|3ß|3ç|3ø|3ĉ|3ķ|3ĸ|3Ŀ|4c|4£|4ß|4ã|4Ċ|4ģ|4Ĩ|4ő|4Œ|5&|5Q|5û|5Ā|5ě|5ĩ|6ú|6Ķ|6Ł|7Q|7V|7e|7²|7Á|7Þ|7à|7đ|7Ġ|7ĵ|8w|8¯|8¾|8ņ|8ő|9H|9Y|9i|:6|:s|:¬|:ð|:ü|:Ĉ|:Ċ|:Ĵ|:ĸ|:Ŀ|;X|;®|;¯|;²|;¸|;Ó|;à|;ĥ|;Œ|<-|<t|<å|<ø|<Į|<Ľ|<ō|=&|=l|=¨|=Á|=Ý|=Č|=Ĩ|=Ń|>-|>±|>¸|>Ä|>à|>ð|>ó|>Ī|@B|@F|@_|@³|@´|@Ó|@Ü|@ã|@û|@Ğ|@ğ|@Ĭ|@İ|@Ŀ|A5|AV|A_|Ax|A¹|AÅ|AĞ|AĶ|Aņ|Aō|B¼|BÂ|Bä|Bç|BĊ|Bį|Bİ|BĻ|BŅ|C1|C<|CG|Cy|C~|C¼|Cì|Cù|Cō|DT|DU|Dc|Dj|D¤|DÂ|DÑ|DĀ|Dİ|E,|E¬|E¼|E×|Eā|Eė|Eń|FZ|Ft|F»|F¿|FÈ|FØ|Fç|Fì|Fć|FĬ|Fı|FŅ|Gj|Gl|Gv|G¯|Gâ|Gï|GĖ|Gę|GĦ|Gĭ|H8|HB|HS|Hu|H¥|HÃ|HÌ|Hø|HĆ|HĒ|HĬ|Hĭ|I=|It|I©|Iæ|IĿ|Iō|J1|J3|J5|JQ|JÉ|JÔ|J×|Jă|JIJ|K-|KP|KÄ|Kî|Kā|KĐ|Kġ|KĨ|KĴ|L!|LÐ|Lá|LĚ|LĠ|M5|M¿|MÅ|Må|MĈ|MŊ|N,|N2|N5|NB|Nh|NÂ|NØ|NÜ|NĖ|Nĝ|NŃ|O;|Of|O¯|O¸|Oå|OĈ|Oď|Oē|OIJ|P7|PQ|Pp|P£|Pđ|PĴ|Pŀ|Q7|QR|Q¥|QÝ|Qî|Qī|Qĸ|Qŀ|Qő|R0|RA|RI|RN|R¥|R¼|Rö|Rû|RĬ|RĮ|RŎ|S;|SC|ST|Sd|Sy|S§|TX|Td|Tw|Tª|T¿|Tõ|U0|U:|UÊ|Uĉ|Uę|UĢ|UĦ|Uį|UĶ|Uň|V:|Vq|Vs|V¦|VÂ|Vó|Vþ|Wh|WÅ|WÉ|Wê|Wô|Wģ|Wň|X:|XI|XS|X`|Xâ|Xċ|Xė|XĠ|Xģ|Y"|YX|Yb|Yn|Yo|Y£|Y§|YÌ|YÎ|YÚ|Yá|Yă|YĜ|Yĥ|YĿ|Yʼn|Z6|Z:|Z;|Z¶|Zå|Zæ|Zċ|Zĺ|ZŊ|_,|_-|_c|_g|_à|_ĉ|_Ħ|_ł|`I|`z|`ð|`ă|`IJ|`ij|a4|a9|aF|a½|aä|añ|aď|aĝ|aĸ|b&|b7|b¸|bÝ|bë|bĺ|bņ|bŊ|c&|cP|cr|cÄ|cÑ|cÖ|cČ|cę|cĩ|cIJ|cķ|cĿ|d"|dI|d¥|d¦|dä|dģ|eK|e²|eý|eą|eČ|eĔ|eIJ|eĶ|eń|fM|fm|f¥|fÇ|fÒ|fæ|fì|fć|fě|fĝ|g!|gN|gx|gz|gÍ|gĚ|gĞ|h"|h¬|h¶|hä|hì|hï|hĆ|hņ|hŋ|hŏ|i'|i9|i¢|i¤|iÓ|iÖ|iā|iĕ|iĝ|iį|iĶ|jH|jT|j£|jµ|j·|jø|jĸ|jŐ|k0|k2|kA|k~|k¨|k½|kÙ|l&|lX|lc|ln|l£|l¥|lµ|lÃ|lå|lé|lĩ|lŌ|lŒ|m-|mW|mÐ|mĘ|mĮ|mĸ|n!|n2|nJ|nU|n¬|n½|nĆ|nĒ|nĔ|nĭ|nŇ|o5|o<|oD|oM|oÖ|oĂ|ps|pz|pº|pê|pĢ|pĥ|pIJ|qK|qa|q§|qÛ|qç|qý|qă|qĒ|qĴ|qĶ|qń|rA|re|rj|r§|r«|r¿|rÃ|rß|rò|rĔ|rĖ|rĢ|rķ|sD|sc|sÍ|sĀ|tT|tW|ta|t£|t¯|t±|tÊ|tÑ|tĚ|tļ|uV|ua|ub|uf|u¦|u´|u»|u¾|uË|uØ|uĞ|uĪ|uĹ|v:|vi|vw|v§|v½|vÄ|vÈ|vÌ|vù|vĮ|vļ|vʼn|vŎ|w!|w0|wZ|wg|wÞ|wæ|wò|wù|wĥ|wħ|wŎ|xD|x©|x®|xá|xû|xģ|xľ|xł|yC|ya|yr|y²|yÉ|yò|yĆ|yĠ|yĵ|yŒ|zM|zi|z¯|zø|zú|zć|zđ|~5|~Y|~¨|~º|~Û|~å|~ê|~ô|~ü|~ą|~ĥ|~Ī|~İ|~Ľ|~ō|¡J|¡±|¡¼|¡Ê|¡Ë|¡Ñ|¡ã|¡Ă|¡Ġ|¡Ĩ|¡ī|¡Œ|¢@|¢G|¢±|¢º|¢ç|¢Đ|¢İ|¢Ŀ|£F|£e|£Þ|£ä|£Ĵ|¤P|¤p|¤¯|¤µ|¤þ|¤ď|¤Ģ|¤ī|¥Z|¥¤|¥È|¥Ñ|¥û|¥Ď|¦T|¦Y|¦Z|¦a|¦b|¦e|¦q|¦r|¦¡|¦³|¦ĩ|¦IJ|¦ĺ|§b|§n|§w|§¿|§Ç|§Đ|¨3|¨Ã|¨Ë|¨Î|¨ë|¨÷|¨Č|¨ġ|¨Ī|¨Ĺ|¨ł|¨Œ|©I|©Z|©Ý|©ë|©ü|©ġ|©ŋ|ªP|ªo|ªr|ª¨|ª¯|ª²|ª¾|ªÇ|ªÔ|ªÙ|ªĉ|«K|«p|«£|«¨|«©|«¬|«®|«Õ|«Þ|«ß|«ö|«Đ|¬!|¬j|¬ª|¬¼|¬À|¬Ã|¬Ì|¬ú|¬ő|®#|®´|®É|®č|®đ|®ī|®ʼn|¯9|¯g|¯n|¯¹|¯È|¯Ē|¯ę|¯ġ|°N|°d|°k|°m|°s|°²|°È|°Î|°ê|°ó|°ʼn|±%|±R|±Y|±r|±æ|±Ŀ|±ń|²D|²H|²U|²×|²ã|²ä|²ç|²ą|²ħ|³`|³Ë|³ã|³ë|³ò|³ô|³ø|³Ċ|³Ĥ|³Ŀ|´~|´§|´Ê|´è|´Ķ|´Ŏ|µ:|µC|µ¢|µØ|µó|µĠ|µģ|µĤ|¶!|¶0|¶7|¶Y|¶¤|¶À|¶Ö|¶Ħ|¶ő|·p|·Á|·Ç|·ë|·î|·Ļ|·Ŋ|¸X|¸Z|¸¦|¸÷|¸ú|¸Đ|¸ĝ|¹,|¹>|¹M|¹Z|¹a|¹¢|¹Ì|¹×|¹Ø|¹þ|¹ĉ|¹Ĩ|º>|ºj|ºá|ºç|ºý|ºć|»2|»c|»°|»Ä|»ñ|»Ġ|»Ŋ|¼3|¼F|¼c|¼d|¼x|¼y|¼Ä|¼É|¼û|¼Č|¼ē|¼Ĩ|¼Ĭ|¼Ĵ|¼Ĺ|½k|½Ø|½ø|½ħ|¾2|¾:|¾L|¾¿|¾Á|¾ñ|¾ô|¾÷|¾đ|¾ĥ|¾Ń|¿D|¿«|¿ö|¿ø|¿Ĕ|¿ę|¿Ļ|¿ō|À3|ÀW|À°|ÀÆ|Àđ|ÀĘ|ÀĞ|Àģ|Àİ|Á§|Áé|Áõ|ÁĜ|Áĝ|ÁĪ|Áʼn|Â&|ÂB|ÂM|¿|Âø|Âħ|Âĺ|ÂĻ|ÂŁ|Âʼn|Ã`|Ãt|â|é|ÃĆ|ÃĖ|Ãĥ|Ãĩ|Ä_|Ä¥|ÄÌ|ÄÞ|Äð|ÄĆ|Äİ|ÄŁ|Å@|ÅY|Å«|ÅĄ|Åı|Åĸ|Æ;|ÆK|Æv|Ƶ|ƹ|ƽ|ÆÇ|ÆÛ|Æõ|Æü|ÆĆ|ÆĤ|Çd|Ǻ|ÇĔ|Çě|Çģ|ÇĶ|ÇĽ|Èd|Èz|È~|È´|Ƚ|ÈÂ|Èæ|Èõ|ÈŅ|ÉH|ÉO|ÉÌ|Éï|ÉČ|Éę|ÉĬ|Éĭ|ÉĴ|ÉŎ|Ê%|Ê6|ÊI|Êk|Êy|ʳ|ÊÁ|Êñ|Êą|ÊŃ|Ë!|ËH|Ëh|˺|Ë»|ËÆ|Ëğ|ËŌ|Ì3|Ì7|ÌG|Ìp|Ì«|Ìè|Ìï|ÌĮ|ÌŎ|ÍZ|Íd|Í©|ÍÖ|Íá|Íê|Íø|Íā|ÍŊ|Î-|Î_|ÎÊ|Îæ|Îó|Îù|ÎĀ|ÎĐ|Îġ|Îĭ|ÎŇ|Ï"|Ï5|Ï7|ÏA|ÏH|Ïl|ϱ|Ϲ|ÏÈ|ÏØ|ÏÚ|ÏÛ|ÏĻ|Ïʼn|ÐR|з|ÐÀ|ÐÓ|ÐĒ|Ðě|ÐĶ|Ðľ|Ñ©|ѵ|ÑÅ|ÑÈ|Ñʼn|ÒV|ÒÇ|Òĉ|Òħ|ÒŃ|Ó2|ÓD|ÓÎ|Óç|Ó÷|Óù|ÓĈ|Óķ|ÔE|ÔJ|Ôf|Ôy|ÔÆ|ÔÞ|Ôâ|ÔĂ|ÔĨ|Õ3|ÕG|Õh|Õ¹|ÕÁ|ÕÐ|Õÿ|Õğ|Õī|Ö7|ÖB|Öª|Ö¼|Öÿ|Öħ|Öij|×6|×>|×f|×¢|×µ|×·|×Â|×Ê|×Ñ|×ã|ØG|د|ØÄ|ØÊ|Øé|Øë|ØĊ|ØŇ|ØŐ|Øő|Ù:|Ùh|Ùx|Ù²|Ùč|Ùē|Ùę|Ùě|ÙĨ|ÙŇ|ÚE|Úq|Ú®|ÚÄ|ÚÒ|ÚÜ|Úä|Úí|Úı|Úķ|Û'|ÛW|Ûo|Ût|ÛÓ|Ûô|Ûõ|Ûû|Ûʼn|Ûŋ|Ü!|ÜJ|ÜÆ|ÜŐ|ÝR|Ýg|Ýq|Ýu|ÝÜ|Ýß|Ýð|Ýø|Ýč|ÝĶ|Ýʼn|Þº|ÞÝ|ÞĂ|Þą|Þć|ÞĠ|ÞĨ|ßu|ßÀ|ßė|à4|àS|à`|àk|à§|àé|àø|àĊ|àę|àģ|àĬ|á3|á£|á¶|áÄ|áÏ|áÑ|áâ|áü|áČ|áĽ|áņ|áŌ|â#|âY|â£|âº|âÓ|âġ|âĭ|âı|âŐ|âŒ|ã,|ã1|ã7|ã8|ãé|ãĭ|ä3|ä6|äN|ä¢|ä©|ä¬|äÏ|äĖ|äį|äŏ|åN|å¡|å¾|åØ|åë|åû|åč|åě|æ7|æT|æt|æ¸|æá|æï|æā|æij|ç2|çA|çJ|çl|ç¥|ç¬|çĝ|çĸ|èl|èq|èÓ|èÙ|èČ|èĖ|èĩ|èņ|èʼn|èő|éV|éZ|é®|é´|éí|éó|éû|éą|éě|éĭ|éŃ|ê5|êv|ê«|ê¶|êº|êÃ|êÔ|êİ|ëB|ëb|ë¤|ë¨|ëÎ|ëę|ëĞ|ì#|ì,|ì=|ì>|ìQ|ìS|ìV|ìº|ìā|ìġ|íJ|íV|í~|í¶|íò|íø|íă|íė|íĭ|î<|î=|îD|îR|îµ|îÚ|îÛ|îå|îê|îþ|îĒ|îĜ|îğ|ï%|ï,|ïa|ïu|ïÀ|ïÁ|ïá|ïĄ|ïą|ïċ|ïġ|ïĿ|ïŁ|ïŌ|ð6|ðE|ðp|ð¬|ðÞ|ðä|ðĚ|ðğ|ðļ|ñ1|ñ2|ñX|ñi|ñá|ñú|ñû|ñü|ñį|ñŊ|òB|ò«|ò¿|òÝ|òê|òď|ó5|óÄ|óÇ|óÈ|óÓ|óÕ|óĨ|óļ|ô4|ôh|ôÖ|ôî|ôþ|ôğ|ôŅ|õo|õ¢|õ¶|õÆ|õÓ|õä|õČ|õĕ|õģ|ö7|ö@|ön|ö¢|öÉ|öÒ|öÛ|öâ|öĝ|÷-|÷J|÷p|÷Ò|÷Ģ|÷ĭ|÷ı|÷ʼn|ø,|øo|ø¥|øÆ|øç|øè|øù|øĤ|øĥ|øħ|øň|ù7|ù9|ùs|ùu|ù¹|ùÍ|ùĆ|ùę|ùě|ùĹ|úG|úÅ|úÕ|úÖ|úÜ|úã|úç|úĂ|úĦ|û%|û;|ûR|ûh|ûu|ûz|û´|ûÐ|ûë|ûń|ûŊ|ü_|ü²|üê|üē|üğ|üł|üŅ|ý8|ý¨|ý©|ýÍ|ýÜ|ýĄ|ýċ|ýĩ|ýı|ýIJ|ýĸ|ýł|ýň|ýŎ|þ;|þD|þJ|þT|þr|þ·|þè|þĆ|ÿO|ÿÒ|ÿæ|ÿð|ÿć|ÿğ|ÿŇ|ĀA|ĀR|Ā_|Āv|Āá|ĀĘ|Āģ|Āİ|ā6|āM|ā¸|āä|āĮ|ĂX|ĂÁ|ĂÕ|ĂĚ|Ăķ|ĂĹ|ă"|ă°|ă¸|ăÉ|ăĆ|ăĚ|ăğ|ăĸ|ăĻ|ăŃ|ĄG|ĄJ|ĄK|Ą`|Ąc|Ąd|Ąg|Ąl|Ą³|ĄÄ|ĄÊ|ĄÌ|Ąú|ĄĽ|ą;|ąL|ąc|ąd|ąo|ąr|ą®|ą±|ąÄ|ąÅ|ąÇ|ąÍ|ą×|ąĈ|ąĎ|ąĐ|ąĩ|ąŌ|Ć´|Ƹ|Ć¼|ĆÑ|ĆØ|Ćí|ĆĊ|Ćņ|ĆŌ|ć4|ćx|ćy|ć¦|ć«|ćù|ćŃ|Ĉ&|Ĉ8|ĈE|ĈK|Ĉn|Ĉ¨|Ĉà|Ĉé|Ĉû|Ĉđ|Ĉĥ|ĈĪ|Ĉī|Ĉņ|ĉ@|ĉa|ĉÇ|ĉ×|ĉĩ|ĉň|Ċ#|Ċb|Ċt|Ċ»|ĊÁ|ĊÚ|Ċä|Ċÿ|Ċĝ|Ċĩ|Ċį|ċ'|ċD|ċ¶|ċÖ|ċê|ċþ|ċğ|ċņ|ČM|Čs|Č£|ČĨ|Čį|č±|čÖ|čè|čć|čğ|čń|čʼn|Ď`|Ď¡|Ď·|Ď¾|Ď¿|Ďą|Ďij|Ďŋ|ď"|ď5|ď8|ď=|ďD|ďs|ďØ|ďÚ|ďí|ďġ|ďĩ|ďļ|ĐF|ĐS|Đg|Đk|Đn|Đv|Đ~|ĐÖ|ĐÚ|ĐÜ|Đâ|ĐĞ|đA|đf|đ´|đ¸|đ¿|đÈ|đÖ|đà|đĽ|đŀ|đŌ|Ē%|ĒH|ĒÍ|ĒĹ|ĒĻ|ĒŁ|ĒŃ|ĒŇ|ē;|ēG|ēa|ēe|ēq|ē¶|ē»|ē÷|ēň|Ĕ"|Ĕ4|ĔÃ|Ĕý|Ĕą|ĔĆ|ĔĚ|ĔĞ|ĔĨ|ĕ"|ĕm|ĕw|ĕ¨|ĕ®|ĕÌ|ĕÑ|ĕĤ|Ė#|ĖR|Ėe|Ėu|Ė~|Ė¯|Ėĩ|ĖĬ|ėH|ė¹|ėö|ėú|ėÿ|ėĨ|Ęs|ĘÝ|Ęą|ĘČ|Ęĝ|Ęī|Ęĺ|Ęʼn|ęA|ęk|ęp|ę»|ęè|ęą|ęĐ|ęĨ|Ě'|Ě9|Ěe|Ěm|Ěo|Ě£|Ěª|Ě¾|Ěå|Ěë|Ěă|ĚĎ|ĚĜ|ĚĞ|ěP|ěx|ěê|ěî|ěö|ěĂ|ěĤ|ěĭ|ěļ|Ĝ%|ĜÜ|ĜĽ|ĝJ|ĝh|ĝ¹|ĝÃ|ĝÈ|ĝĖ|ĝĞ|ĝŇ|ĝŒ|Ğ&|Ğe|Ğs|ĞÖ|ğX|ğ²|ğ´|ğ¼|ğÙ|ğò|ğĂ|ğđ|ğĕ|ğĨ|ğĬ|ĠB|Ġc|Ġµ|ĠÈ|Ġè|Ġì|Ġđ|Ġě|ġ5|ġ<|ġH|ġm|ġº|ġÒ|ġü|ġă|ġĶ|ġŀ|Ģ;|Ģ¤|Ģ«|ĢÍ|ĢØ|Ģù|Ģă|ĢĐ|Ģđ|ģ-|ģL|ģ«|ģë|ģþ|ģċ|ģČ|ģĨ|ģĻ|Ĥf|Ĥª|Ĥñ|ĥM|ĥN|ĥU|ĥf|ĥz|ĥ»|ĥõ|ĥň|Ħ`|Ħj|Ħu|Ħ°|Ħ´|ĦÁ|ĦÈ|ĦÕ|Ħæ|ĦĤ|ħ4|ħp|ħ¡|ħ¦|ħ¶|ħß|ħç|ħĴ|ħĵ|ĨC|Ĩ°|ĨÂ|ĨÌ|Ĩç|Ĩõ|ĨĔ|Ĩŏ|ĩ8|ĩl|ĩt|ĩw|ĩċ|ĩđ|ĩĥ|ĩī|ĩŅ|Ī4|Ī9|ĪP|Īz|Ī±|ĪÅ|ĪÈ|ĪÝ|Īä|Īđ|ĪĦ|ĪĬ|ĪĽ|īb|īl|ī¥|ī¦|īÌ|īì|īČ|īĎ|īĐ|Ĭ#|Ĭ4|ĬF|Ĭ¤|Ĭê|Ĭí|Ĭû|Ĭĝ|ĬŌ|ĭ1|ĭK|ĭL|ĭz|ĭ¡|ĭ¯|ĭÌ|ĭâ|ĭĘ|ĭě|ĭĺ|ĮM|ĮR|Įd|Įx|Į¤|ĮÃ|ĮË|ĮÚ|Įå|ĮĤ|ĮĦ|Įī|į&|įD|įI|į¥|į«|įÉ|įÕ|įÛ|įĉ|įđ|įĒ|İQ|İi|ݬ|ݾ|İÕ|İ×|İĄ|İĬ|İľ|ı4|ıa|ıd|ıe|ıf|ı¡|ıĐ|ıĖ|ıIJ|IJ:|IJT|IJU|IJm|IJÛ|IJķ|IJŎ|ij0|ijb|ij¢|ij«|ijé|ijí|ijĎ|ijĘ|ijķ|Ĵ#|ĴF|ĴG|Ĵµ|Ĵ¹|ĴÈ|ĴÏ|Ĵý|Ĵþ|ĴĖ|ĵ8|ĵE|ĵK|ĵ¦|ĵ±|ĵÙ|ĵó|ĵõ|ĵĹ|Ķ6|ĶE|Ķl|Ķm|Ķ£|Ķ²|ĶÅ|Ķ÷|ĶĀ|Ķă|ĶĆ|ķv|ķ«|ķå|ķĢ|ķŌ|ĸ9|ĸH|ĸ¼|ĸè|ĸý|ĸĕ|ĸį|ŧ|Ĺ·|ĹÇ|ĹÈ|Ĺġ|Ĺĩ|ĺ#|ĺ6|ĺp|ĺr|ĺu|ĺæ|ĺí|ĺĖ|Ļ@|ĻI|Ļn|Ļ£|Ļ¶|ĻÂ|Ļú|ĻĮ|ĻŎ|ļ=|ļK|ļO|ļ_|ļ´|ļÀ|ļÄ|ļó|Ľ>|ĽC|ĽD|ĽG|ĽZ|Ľk|Ľr|Ľ¼|ĽÌ|Ľâ|ĽĮ|ĽŒ|ľf|ľÙ|ľÞ|ľĂ|ľī|ľł|ľņ|ĿÊ|Ŀď|Ŀđ|ĿĚ|Ŀĵ|ĿĻ|Ŀŏ|ŀC|ŀM|ŀ®|ŀà|ŀð|ŀõ|ŀČ|ŁE|ŁÁ|ŁÄ|Łõ|Łķ|ŁĿ|ł4|łG|łu|ł¬|łÏ|łò|łČ|łč|łĐ|łŌ|Ń6|Ń¿|ŃÅ|ŃË|ŃÚ|Ńü|Ńě|Ńņ|ń4|ń<|ńE|ńx|ń»|ńÄ|ńď|ńĺ|Ņ,|ŅP|Ņe|Ņn|Ņo|Ņ©|Ņ¯|Ņ½|ŅÛ|ŅĂ|ņî|ņð|ņô|ņĈ|ņī|ņĬ|ņı|Ň8|Ň:|ŇD|ŇT|Ň_|Ňd|Ňu|Ňª|Ňā|Ňć|ŇĈ|Ňň|ňK|ňL|ň¬|ňÇ|ňÏ|ňþ|ňĐ|ňĠ|ňŐ|ʼnQ|ʼn_|ʼnf|ʼnÉ|ʼnË|ʼnĨ|ʼnŃ|Ŋ0|ŊM|ŊW|ŊÔ|ŊĠ|ŋC|ŋH|ŋK|ŋÍ|ŋÒ|ŋØ|ŋÞ|ŋı|ŋĹ|Ō,|Ōl|Ō³|Ōò|Ōā|ŌĖ|ŌĚ|ŌĬ|ŌĮ|Ōĸ|ŌŒ|ōJ|ō¿|ōÀ|ōÝ|ōʼn|Ŏ8|Ŏ;|ŎQ|ŎV|Ŏ§|ŎÄ|ŎÏ|ŎĎ|ŎŇ|ŏ=|ŏD|ŏV|ŏ¹|ŏÈ|ŏÒ|ŏč|ŏĐ|ŏī|ŏĿ|ŏʼn|Ő2|Ő<|ŐC|ŐX|Őg|Ől|Őp|Ő®|Őİ|ő8|ő¹|őÀ|őó|őć|őĊ|őĖ|őĦ|őķ|őĸ|őŀ|ŒB|Œv|ŒÀ|ŒÒ|Œā|Œĉ|Œė|ŒĜ|ŒĦ|Œķ|Œľ).){255}Ň$

Diuji pada Regex101

Setiap string yang cocok adalah jalur Hamilton dari Mke Ň.
Saya tahu ini tidak cukup aman. Saya juga tidak tahu bagaimana cara menghasilkan masalah jalur Hamilton. Ini memiliki terlalu banyak solusi. Dan seperti yang dikatakan Martin Büttner, Mathematica melakukannya secara instan . Tapi ini hanyalah pendekatan NP-complete selain COTO. Jangan ragu untuk meningkatkan ide ini dan mengirim jawaban baru.
Solusi yang awalnya saya hasilkan adalah: https://regex101.com/r/tM1vX8/2

Solusi yang saya hasilkan:

MĈàękÙēGâġ<øÆv:ĴÏĻĮ¤ĢùĹ·îĜĽDÂŁEā6ĶĆŌĸ¼yò¿Ĕýı¡Ë!į&qKPpzđȽħ¶YÌïÁéVþèlåN2O¸úÜŐİľfćx®čńďļ=¨3d"÷ĭ¯9i'ĞsĀAÅĄ³`ðĚmĘĝŒBç¬ő¹>-ìS§nUĉňĠěĤª¾ôŅ,ĊtÊIĿĵ±RĬíăÉČĨŏĐÖij0°²ã1gÍáÑʼnŃÚÒÇģLÐĒ%ĪĦu¦añû´~ą;ĥ»créüêºjµó5ĩċğĕwŎÄ¥ĎŋØëÎæTXėH8ņībŊÔÞÝßÀWhäĖeIJÛõÓķ«ö7QŀCōJ×¢@_ł4£FZĺ#oĂÕÿŇ
jimmy23013
sumber
3
Cocok: Lihat regex101.com/r/wK9hI1/1 Tidak cocok: good_job_user23013!
harius
14
Saya membayangkan kita dibagi menjadi 2 kubu sekarang: mereka yang membakar CPU dan berharap untuk beruntung, dan mereka yang mencoba membuktikan P = NP dalam beberapa hari.
1
@ WumpusQ.Wumbley Dan kita semua menggunakan Mathematica. ;)
Martin Ender
2
Karena harius tidak dapat berkomentar untuk menguraikan bagaimana dia memecahkannya, saya akan segera menguraikan bagaimana saya melakukannya: polanya memang mengkodekan grafik berarah dengan 256 simpul (diwakili sebagai karakter) dan 2270 tepi (diwakili sebagai pasangan karakter yang diperbolehkan menjadi berturut-turut) dan setiap pertandingan adalah jalur Hamiltonian melalui grafik dari Mke Ň. Mathematica memiliki fungsi FindHamiltonianCycle. Kita dapat mengubah ini menjadi siklus yang melintasi Ň -> Mdengan menambahkan tepi baru dan menghubungkan Ňdan Mmelewatinya. Untungnya, Mathematica menemukan siklus seperti itu secara instan. :)
Martin Ender
1
Yah, saya ke-3, tapi saya merasa ingin menyelesaikan path-finder buatan sendiri. Itu memberi saya ini: regex101.com/r/nT2xM6/1
10

JS-Compatible RegEx - 3,571 bytes [retak]

Saya ... akan ... memiliki ... setidaknya ... satu ... tidak bersekongkol .... pengajuan. o \ __ / o

[^,;]|^(.{,255}|.{257,})$|^(?!.*,;,,;;)|^(?!.*,;;,,;)|^(?!.*..,;;;,..,.)|^(?!.*.,.;.;.,.,,)|^(?!.*....,,....;;.;.;)|^(?!.*;.{8};,;;;..)|^(?!.*.{8};;.{6};,.,;)|^(?!.*..;....,.;;.{5};;...)|^(?!.*;,.;.{7},...;.{6};...)|^(?!.*...,.,..,,...,.{7};....)|^(?!.*.,;.;.{11};.{9};..,.)|^(?!.*.,.{6},....;.{11};,...,)|^(?!.*..;.{5};....,.{6};,.{12};.)|^(?!.*,,.,,.{8};.{11};.{10})|^(?!.*...,.{9};..,....;.{6},...;.{8})|^(?!.*.{6},.{8},.{6},.{8},..;.,....)|^(?!.*.{7};..;.{5},....;.{10};...;.{9})|^(?!.*..;.{7},.{5};;.{12},.{13},.)|^(?!.*.{5},..;...;.{5};..;.{6},.{22})|^(?!.*.{10},.{8},.{6},;.{14};.;.{6})|^(?!.*..,.;...,.{19};.;..;.{22})|^(?!.*.{6};..;.{14},,.{11};....,.{13})|^(?!.*.{8},.{12};.{19},.{6},;.{6},....)|^(?!.*.,.{11},...,.{7},.{16},.{11},.{6})|^(?!.*.{15};.{7};..;..,.{24},.{7},...)|^(?!.*...,,.{25};...;...;.{19},.{7})|^(?!.*.{26},....,....,.{15},.{6},.{6};....)|^(?!.*.{6};.,.{28};.{6},.{21},.;..)|^(?!.*.{21};..;..,.{22},.{21};,..)|^(?!.*.{5};.{22};,.{17};.{18},,.{8})|^(?!.*.{9};.{25};,.{20},.{6},.{14};.)|^(?!.*.,.{9},.{8};.{8};.{10};.,.{38})|^(?!.*.{18};.{8},.,.;.{5};.{6},.{41})|^(?!.*.{15},.{16};.{7};.{17};.{8};..,.{15})|^(?!.*.{18};.,.{25};..,..;.{13};.{24})|^(?!.*.{10};.{16},.{33};...;.{17},....,..)|^(?!.*.{13},.{46},.{9},.{11},,.,.{10})|^(?!.*.{14},.{33},.{18};....,.;.{16},....)|^(?!.*.{16};....;,.{8},.{30},.{31},.{6})|^(?!.*.{9},;.{15};.{22};.{30},.{16};...)|;.,,;;.;|,;,;,.,.|.;;,.;;;|;.;,,,.;|,...;.;.,,.;.|,.,.;.{5},,;|...;;....;;;;|;..,,,.;..;..|..;;,,..;.{7};.|;..,.,,...;...,...|...;;,.,.;.;.{6}|.;...;,....;.;...,|.;.{8};,.{6},.;.;|.{5},...,...;...;.;..;|...;....;..,..,.;..;...|...;.{5};,.{5},...,.;|;.,.{12},..;;.{7};|...;.{5},..;;.{9},..;.|.;,,..;.{13};....;..|.,;.{15},,...,.,..|.{8};.,....,...,..,.{9};|...;.;.{11},..,...;....;...|.,.,.{9};;....;..,.{10}|.{5};.,;....,.{15};..,|....;.{10};.;....,.{10},;...|....;.{8};;.{6},...;.{5};.{6}|..,;;.{16};....,;.{10}|.{18};.{9};,.,.,..;.|.{11},.{10};.;.;.{10};....,|....;.{11},.{10},..;.,.;.{8}|..,....,.;.{5},.{9},.{7};.{9}|.{7};.;.{5},.{13};.;.{7};...|.{5},.{15};;.{5},.{15},..;|.{12};...;..,.,..;.{5},.{17}|.{12},..;...;.{22},.,..,|.{10},.{11},.,.;.{11};;.{8}|.{11},.{9},.{5},...,.{14};.;....|;.{22};....,.;.{10};.{10};|.{13};...;.{13},.{6};.,.{10};.|.{11};....;.{17},.{9},.{5};,.|,.{14},.{12};.{6};...;.{14};...|..;.;.{19},.{16},.{5};.{6},...|.{27};..,;.{8};;.{8};.{7}|,.{6};.,.{20},.{13},.;.{11}|.{12};.{9},.{8};,.,.{17},.{10}|;.{22};..;.{5},..;....,.{22}|.{6},.{19};.{22};;,.{5};.{5}|;.{5},.{10};..;.;;.{39}|.{11};.{7};.;.{23};.{19};.;|,.{13};.{12},.,.{27};.{6},...|...;.;.{9};.{18};.;.{27},...|...;,.{12},..;.{28},.{15};..|....;.{8};..;...;.{17},.{19},.{14}|.{8};.{29};.{17};.{5};.{5};;...|...,..;.{14},.{8};.{12};.{18},.{10}|..;.;.{7};.{17},.{11},.{24},.{5}|;.{17},.;.{29};.{9};....;.{12}|.{5},..,.{6},.{16};;.{15},.{28}|...,.{12};..;.{10};.{31};.{14};|.{24},.{6},.{22},.,..,.{10};.{7}|.{10},.{12},.{5};.{12},.{7};.{23};.{8}|.{19};.,.{6},.{22},,.{7};.{22}|.{27};,.{14},..,.{7};.{15},.{12}|....;.{18},.{22},,..,.{27};....|...,.{11},.;.;.{9},.{46},.{11}|.{19},....,.{23},.{5},.{7};.{14},.{10}|.{19};,.{11};..,.{11};.{23};.{16}|.{11};.{34},.{14},.{9},.;.{13};|.{11};....,.{41},.{9};;.{8};.{14}|.{5};.;.,.{5};...;.,.{71}|.{6};.{13};....;....;.{20};.{24},.{16}|.{26};,.{19};....;.{11},.;.{26}|.{9},.{9},.{21},.{14};.{10};.{16};.{13}|.{10},.{5},.{9};.{13},...,.{24},.{28}|.{12},.{7};.{8};.{6};;.{36};.{23}|....;.{10},.{21};.{10};.{20},.{10},.{17}|.{19},.{7},.{17},.{9};.{13},.{22};.{10}|....,.{41};.{5},..,.{21};.{6};.{18}|.{25};....;.{28},.{12},.{19};.{8};.|.{10};....,.,.{22};.{11};.{44},.{5}

Menyelesaikan hampir semua string secara instan. Dapat diuji pada konsol JS apa pun.

+100 perwakilan kepada siapa saja yang memecahkan binatang ini.

COTO
sumber
1
Tantangan diterima ...
Unihedron
10
Pertandingan : ThatWasActuallyFun. Non-pertandingan : ,,;,;,,;,;;;,;,;,;;,,,,;,,,;,;;,,,,,,;;,,,,;;,;,,,;,;;;;,;;,;;,;,,;,,;,;;;,;,;,;;,,,;,;;;;,;,;;;,;,,;,,,;,,,,;,;;;;;;,,,,,;,;,;;;;;,;;;,;;,,,;;;,,;,;;,,,;,,,,,,;,;,,;;,,;;,,,;,;;,,,;,,;;,;,;,;;;;,,;,;,,;;;;;,,;,,;;,,;,,;;,,,,;,,;,,;;,;;;,,,,,;,,,,,,,,;,,,,.
nneonneo
5
SILAHKAN! JANGAN! MENJADI! BEGITU! CEPAT!
TwiNight
6
Bung, Anda gila, RegExp ini memiliki 122 alternatif, 40 di antaranya adalah lookaheads negatif, WTG ++
CSᵠ
2
@nneonneo: Pemecah SAT yang buruk dan efisien. > ___ <Tetapi alat peraga untuk mentransformasikan masalah dan memanfaatkan alat yang tersedia di luar sana. Saya akan memberikan 100 perwakilan untuk salah satu jawaban Anda SECEPATNYA, yaitu sekitar 19 jam.
COTO
10

PCRE - 96bytes UTF8, tanpa pembatas, tanpa bendera

[Dikalahkan] karena nneonneo adalah pria yang bijak

(?<Warning>[You] \Will (*FAIL)!|\So just (*SKIP)this one!|\And (*ACCEPT)defeat!|[^\d\D]{16,255})

Tidak ada yang bisa dilihat di sini, terus ...

CSᵠ
sumber
1
Cocok So just *SKIPthis one!:; Tidak Cocok:This string is not accepted. This string is not accepted. This string is not accepted. This string is not accepted. This string is not accepted. This string is not accepted. This string is not accepted. This string is still not accepted. Snow leopards FTW.
COTO
Ini bukan sintaks PCRE; itu sintaks Perl sederhana. (Pengubah mundur tidak bekerja pada PCRE, AFAIK)
nneonneo
6
Pertandingan : Do just this one!. Non-pertandingan : WellThatWasTooEasy. (Diuji dengan Perl 5.12 dan Perl 5.18 di mesin saya)
nneonneo
@nneonneo benar! PS: * KATA KERJA ada di PCRE selama setidaknya 5 tahun, tidak cukup didokumentasikan.
CSᵠ
@COTO pertandingan salah, NonMatch ok.
CSᵠ
8

JS-Compatible RegEx - 733 bytes [retak]

Mari kita coba ini untuk kedua kalinya dengan metrik terbalik: ekspresi reguler besar tetapi kunci yang relatif kecil (yang paling penting, dalam batas 256-byte).

[^a-e]|^(?:.{0,33}|.{35,}|.{11}.(?!babcde).{22}|.{17}.(?!daacde).{16}|.{23}.(?!ecacbd).{10}|.{29}.(?!ab).{4}|.{31}.(?!cd)..|(.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).(?!\4\8\1\2\3\10|\6\3\11\2\9\1|\6\2\9\3\4\11|\8\10\6\5\3\1|\1\8\4\5\3\7).{22}|(.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{6}.(?!\15\14\16\19\21\12|\17\12\22\13\16\15|\19\14\12\20\18\21|\16\22\19\14\20\12|\21\19\13\18\15\22).{16}|(.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{12}.(?!\31\32\24\28\26\23|\33\25\30\29\27\32|\28\27\23\24\29\30|\31\33\23\29\26\32|\26\28\25\24\23\33).{10}|(.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{18}.(?!\34\39|\37\38|\34\37|\36\42|\43\41|\35\38|\40\35|\44\42).{4}|(.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{20}.(?!\51\45|\53\54|\47\46|\45\54|\50\51|\53\45|\52\51|\52\48|\48\55)..)$

Menyelesaikan hampir semua string secara instan. Diuji pada RegExr.

Diperluas (untuk kenyamanan):

[^a-e] |
^(?:
    .{0,33}|
    .{35,}|
    .{11}.(?!babcde).{22}|
    .{17}.(?!daacde).{16}|
    .{23}.(?!ecacbd).{10}|
    .{29}.(?!ab).{4}|
    .{31}.(?!cd)..|
    (.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).(?!\4\8\1\2\3\10|\6\3\11\2\9\1|\6\2\9\3\4\11|\8\10\6\5\3\1|\1\8\4\5\3\7).{22}|
    (.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{6}.(?!\15\14\16\19\21\12|\17\12\22\13\16\15|\19\14\12\20\18\21|\16\22\19\14\20\12|\21\19\13\18\15\22).{16}|
    (.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{12}.(?!\31\32\24\28\26\23|\33\25\30\29\27\32|\28\27\23\24\29\30|\31\33\23\29\26\32|\26\28\25\24\23\33).{10}|
    (.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{18}.(?!\34\39|\37\38|\34\37|\36\42|\43\41|\35\38|\40\35|\44\42).{4}|
    (.)(.)(.)(.)(.)(.)(.)(.)(.)(.)(.).{20}.(?!\51\45|\53\54|\47\46|\45\54|\50\51|\53\45|\52\51|\52\48|\48\55)..
)$

Semoga sukses untuk semuanya. ;)

COTO
sumber
5
Cocok aaaabaaacaaadaaacacdbbcabdeababcdedaacdeecacbdabcd
:,
@ user23013: Saya mengharapkan celah, tetapi tidak secepat itu. Apakah Anda melakukannya di atas kertas?
COTO
1
Iya. Hanya ada dua kemungkinan yang tersisa setelah dua ekspresi panjang pertama. Dan hanya ada satu karakter yang tidak dikenal setelah tiga, jadi saya bisa mencoba beberapa kali untuk mendapatkan solusinya.
jimmy23013
8

.NET flavor, 60 bytes [retak]

^((\d)(?!(|(\d\d)*\d|(\d{3})*\d\d|(\d{5})*\d{4}|\d{6})\2))+$

Diuji dengan Regex Storm .

Dennis
sumber
3
Pertandingan: 1234567890012345. Non-pertandingan: 1111222233334444.
jimmy23013
8
٠߀०০੦૦୦௦౦೦൦๐໐༠၀႐០᠐᥆᧐᭐᮰᱀᱐꘠꣐꤀꩐0Jadi ini semua dianggap digit dalam .NET ...
jimmy23013
2
Itu gila, setengah dari mereka bahkan tidak muncul di browser saya
Sp3000
7

Rasa python: 211 byte [retak]

Catatan: Jawaban ini diposting sebelum aturan berubah tentang panjang kunci maksimum

Kupikir aku akan mendapatkan bola dengan ini:

(((((((((((((((\)\\\(58\)5\(58\(\\5\))\15\)9)\14\\919\)\)4992\)5065\14\(5)\13\\\14\\71\13\(\13\)4\\\13\\)\12\12\\28\13)\11)\10\\7217)\9\\)\8\\04)\7\)\(\8\()\6\(183)\5)\4\)65554922\\7624\)7)\3\)8\(0)\2\4\\8\\8)\1

(Diuji pada RegExr )


Ledakan backreference sederhana dari karakter \()0123456789

Sp3000
sumber
Saya dapat memberitahu Anda bahwa string yang diterima adalah sekitar. Panjangnya 7 juta karakter. Adapun benar-benar mewakili itu, mungkin file teks 7 MB di suatu tempat?
COTO
Ya, itu satu-satunya cara untuk pergi. Saya pikir saya akan memulai dengan sesuatu yang tidak sulit untuk diuraikan, tetapi triknya adalah dengan menghasilkan keluaran. Jika batas menit tidak ada di tempat meskipun ini akan lebih lama: P
Sp3000
Memasuki apa yang saya yakini adalah satu-satunya string yang cocok dengan regex Anda di RegExr.com andal crash browser Chrome saya. Di Safari berfungsi tetapi RegExr melaporkan 'batas waktu'. Sudahkah Anda menguji secara online?
Emil
@ Emil, saya mengujinya dengan sukses di Firefox. Dan saya masih menunggu untuk menyimpannya.
jimmy23013
5
Kuncinya adalah 5281064 bytes menurut hitungan saya. File yang diunggah di sini (5 mb) mediafire.com/view/4jt41pzfp7855ax/match.txt
stokastic
7

JS-Compatible RegEx - 12,371 bytes [retak]

Setelah beberapa dorongan oleh Martin, dan melihat bahwa polisi lain dengan senang hati mengirimkan 600+ KB regex, saya memutuskan untuk mengambil risiko sekali lagi dengan ini (dan versi prettified di sini ).

Menyelesaikan hampir semua string secara instan. Dapat diuji pada konsol JS apa pun. Sayangnya ukurannya membuatnya tidak dapat diuji oleh banyak penguji regex online.

COTO
sumber
Ahaha saya akan mencoba untuk tidak menjadi gila dengan ukuran regex - tantangan ini sulit sekalipun: / memberatkan @ user23013
Sp3000
2
Pertandingan : this was not NP-hard. Tidak cocok :nerdnydeprdoypoypwwwdprelwsprwssddayaeeeysyaaaypowroplsaoprdaolasnoylaeaeadeosladnnosyoywyesorlrydwddadoeyponneeyaaapesenaalnneydaewndplredlerwaawlnrssapapaopnrdwnslowdoanlrernpwyyarpprwnrssdlaopsnnrnnnardpaessldalroleswnnooarlpllasapsesaorardwreylayrr
nneonneo
Saya hanya bruteforced sepenuhnya (butuh ~ 0,06 detik dalam Python) dan memperoleh empat solusi yang dapat diterima, tetapi karena bug di regex Anda, regex Anda menolak banyak solusi lainnya. (Pada dasarnya, Anda tidak memeriksa bahwa setiap karakter dalam "substring" yang digunakan akan digunakan, dan Anda tidak memeriksa bahwa "substring" hanya terdiri dari 84 karakter)
nneonneo
1
(Catatan terakhir: regexpal.com menangani regex ini dengan baik; Saya kira itu mungkin hanya menggunakan mesin regex browser).
nneonneo
1
Dengan 12k byte, tidak perlu menautkan ke sumber eksternal. Jawaban SE dapat memiliki hingga 30k karakter.
Martin Ender
7

.NET flavor, 458 bytes [retak]

^(?=[01]{10},[01]{10}$)(0|1((?<=^.)(?<l>){512}|(?<=^..)(?<l>){256}|(?<=^...)(?<l>){128}|(?<=^.{4})(?<l>){64}|(?<=^.{5})(?<l>){32}|(?<=^.{6})(?<l>){16}|(?<=^.{7})(?<l>){8}|(?<=^.{8})(?<l>){4}|(?<=^.{9})(?<l>){2}|(?<=^.{10})(?<l>){1})(?(l)(?<-l>(?=.*,(?:0|1(?<m>){512})(?:0|1(?<m>){256})(?:0|1(?<m>){128})(?:0|1(?<m>){64})(?:0|1(?<m>){32})(?:0|1(?<m>){16})(?:0|1(?<m>){8})(?:0|1(?<m>){4})(?:0|1(?<m>){2})(?:0|1(?<m>){1})$))|){1024})*,(?<-m>){669043}(?(m)(?!)|)

Yang ini mudah. Tapi saya akan memposting yang lebih sulit nanti.

Saya pikir saya cukup dekat dengan jawaban yang aman secara kriptografis.

Diuji pada RegexStorm .

Ini pada dasarnya tentang faktorisasi bilangan bulat. String yang cocok harus merupakan representasi biner dari dua bilangan bulat Adan B. Untuk setiap 1 dari A, itu akan cocok dengan kelompok 512, 256, ..., 1 kali l, yang dapat ditambahkan untuk mendapatkan A. Dan untuk setiap waktu l, itu akan cocok Bmenggunakan lookahead, dan Bkelompok waktu myang mirip dengan Awaktu l. Jadi mdicocokkan total A*Bkali. Akhirnya ia menghapus grup mtersebut sebanyak 669043 kali dan memeriksa apakah tidak ada lagi m. Jadi A*Bharus tepat 669043.

Untuk kesederhanaan: 669043 = 809 * 827dan solusinya adalah bentuk biner dari dua angka ini.

Metode ini tidak bekerja dengan angka terlalu besar untuk membuatnya aman, karena mesin Regex harus meningkatkan jumlah itu berkali-kali. Tapi saya telah memposting jawaban baru untuk bekerja dengan basis 289 bilangan bulat besar. Ini memiliki produk yang panjang 1536 bit.

Juga terima kasih Martin Büttner untuk memperkenalkan fitur grup penyeimbang dari .NET Regex dalam jawabannya .

jimmy23013
sumber
Ide ini, wow ...
Sp3000
4
Pertandingan : 1100101001,1100111011. Tidak cocok :ThatsWhatIWantedToDo,Nice
nneonneo
1
Saya pikir satu-satunya masalah adalah bahwa pertandingan memakan waktu lama secara eksponensial, dan bahwa target integer harus dinyatakan sebagai jumlah pengulangan (jadi kemungkinan besar terbatas pada 32/64/128 bit, yang semuanya sepele untuk faktor). Saya punya beberapa ide untuk melampaui batasan-batasan ini menggunakan perkalian Karatsuba, tapi kemudian saya mendapatkan log (n) ^
regex
1
@ Sp3000 pastebin.com/SW0YbQar Ini berfungsi. Saya tidak yakin mengapa. Mungkin pengembangnya berpikir bahwa mencocokkan string kosong berulang kali tidak masuk akal.
jimmy23013
1
@ Sp3000: sama sekali tidak mengejutkan; Anda pada dasarnya meminta mesin regex untuk menghitung hingga 800000+. Ini akan menjadi sangat lambat (terutama ketika "penghitungan" dilakukan melalui mesin virtual evaluator ekspresi reguler).
nneonneo
6

JS-Compatible RegEx - 2,447 bytes [retak]

Upaya terakhir saya.

Saya mengulurkan harapan bahwa ini berlangsung setidaknya beberapa jam sebelum retak. Setelah itu, saya menyerah. : P

[^a-f]|^(?:.{0,51}|.{53,}|.{11}.(?!d).{40}|.{12}.(?!a).{39}|.{13}.(?!a).{38}|.{14}.(?!f).{37}|.{15}.(?!d).{36}|.{16}.(?!a).{35}|.{17}.(?!d).{34}|.{18}.(?!c).{33}|.{19}.(?!f).{32}|.{20}.(?!d).{31}|.{21}.(?!d).{30}|.{22}.(?!d).{29}|.{23}.(?!f).{28}|.{24}.(?!d).{27}|.{25}.(?!b).{26}|.{26}.(?!f).{25}|.{27}.(?!f).{24}|.{28}.(?!e).{23}|.{29}.(?!c).{22}|.{30}.(?!c).{21}|.{31}.(?!b).{20}|.{32}.(?!d).{19}|.{33}.(?!e).{18}|.{34}.(?!c).{17}|.{35}.(?!a).{16}|.{36}.(?!a).{15}|.{37}.(?!e).{14}|.{38}.(?!b).{13}|.{39}.(?!f).{12}|.{40}.(?!d).{11}|.{41}.(?!f).{10}|.{42}.(?!c).{9}|.{43}.(?!f).{8}|.{44}.(?!e).{7}|.{45}.(?!c).{6}|.{46}.(?!b).{5}|.{47}.(?!b).{4}|.{48}.(?!f).{3}|.{49}.(?!a).{2}|.{50}.(?!d).{1}|....(.)(.)(.).....(?!\1|\2|\3).{40}|.(.).(.)..(.).....{1}.(?!\4|\5|\6).{39}|...(.)(.).....(.).{2}.(?!\7|\8|\9).{38}|......(.)(.).(.)..{3}.(?!\10|\11|\12).{37}|....(.)(.)(.).....{4}.(?!\13|\14|\15).{36}|..(.)(.)(.).......{5}.(?!\16|\17|\18).{35}|(.).(.)......(.)..{6}.(?!\19|\20|\21).{34}|..(.).....(.).(.).{7}.(?!\22|\23|\24).{33}|(.)..(.)(.).......{8}.(?!\25|\26|\27).{32}|...(.).....(.)(.).{9}.(?!\28|\29|\30).{31}|.(.)(.).....(.)...{10}.(?!\31|\32|\33).{30}|.(.)...(.)..(.)...{11}.(?!\34|\35|\36).{29}|(.)(.).....(.)....{12}.(?!\37|\38|\39).{28}|...(.).(.).(.)....{13}.(?!\40|\41|\42).{27}|..(.)(.)..(.).....{14}.(?!\43|\44|\45).{26}|(.).(.)....(.)....{15}.(?!\46|\47|\48).{25}|(.)..(.)...(.)....{16}.(?!\49|\50|\51).{24}|(.)(.)(.).........{17}.(?!\52|\53|\54).{23}|.(.)..(.)(.)......{18}.(?!\55|\56|\57).{22}|(.)...(.)..(.)....{19}.(?!\58|\59|\60).{21}|.......(.)(.)(.)..{20}.(?!\61|\62|\63).{20}|.(.).....(.).(.)..{21}.(?!\64|\65|\66).{19}|..(.)..(.)...(.)..{22}.(?!\67|\68|\69).{18}|..(.).(.).....(.).{23}.(?!\70|\71|\72).{17}|...(.).(.)..(.)...{24}.(?!\73|\74|\75).{16}|.(.)(.)(.)........{25}.(?!\76|\77|\78).{15}|(.).(.).....(.)...{26}.(?!\79|\80|\81).{14}|.....(.)..(.).(.).{27}.(?!\82|\83|\84).{13}|(.).(.).(.).......{28}.(?!\85|\86|\87).{12}|..(.)...(.)..(.)..{29}.(?!\88|\89|\90).{11}|(.)....(.)..(.)...{30}.(?!\91|\92|\93).{10}|....(.).(.).(.)...{31}.(?!\94|\95|\96).{9}|...(.)..(.)(.)....{32}.(?!\97|\98|\99).{8}|..(.)..(.)..(.)...{33}.(?!\100|\101|\102).{7}|..(.).(.)(.)......{34}.(?!\103|\104|\105).{6}|..(.)(.)..(.).....{35}.(?!\106|\107|\108).{5}|.(.).....(.)(.)...{36}.(?!\109|\110|\111).{4}|..(.)....(.)(.)...{37}.(?!\112|\113|\114).{3}|...(.)..(.)...(.).{38}.(?!\115|\116|\117).{2}|....(.)(.)....(.).{39}.(?!\118|\119|\120).{1})$

Seperti semua pengiriman sebelumnya, itu diselesaikan secara instan. Tidak seperti pengiriman sebelumnya, terlalu lama untuk RegExr.

Diperluas:

[^a-f]|
^(?:
    .{0,51}|
    .{53,}|
    .{11}.(?!d).{40}|
    .{12}.(?!a).{39}|
    .{13}.(?!a).{38}|
    .{14}.(?!f).{37}|
    .{15}.(?!d).{36}|
    .{16}.(?!a).{35}|
    .{17}.(?!d).{34}|
    .{18}.(?!c).{33}|
    .{19}.(?!f).{32}|
    .{20}.(?!d).{31}|
    .{21}.(?!d).{30}|
    .{22}.(?!d).{29}|
    .{23}.(?!f).{28}|
    .{24}.(?!d).{27}|
    .{25}.(?!b).{26}|
    .{26}.(?!f).{25}|
    .{27}.(?!f).{24}|
    .{28}.(?!e).{23}|
    .{29}.(?!c).{22}|
    .{30}.(?!c).{21}|
    .{31}.(?!b).{20}|
    .{32}.(?!d).{19}|
    .{33}.(?!e).{18}|
    .{34}.(?!c).{17}|
    .{35}.(?!a).{16}|
    .{36}.(?!a).{15}|
    .{37}.(?!e).{14}|
    .{38}.(?!b).{13}|
    .{39}.(?!f).{12}|
    .{40}.(?!d).{11}|
    .{41}.(?!f).{10}|
    .{42}.(?!c).{9}|
    .{43}.(?!f).{8}|
    .{44}.(?!e).{7}|
    .{45}.(?!c).{6}|
    .{46}.(?!b).{5}|
    .{47}.(?!b).{4}|
    .{48}.(?!f).{3}|
    .{49}.(?!a).{2}|
    .{50}.(?!d).{1}|
    ....(.)(.)(.).....(?!\1|\2|\3).{40}|
    .(.).(.)..(.).....{1}.(?!\4|\5|\6).{39}|
    ...(.)(.).....(.).{2}.(?!\7|\8|\9).{38}|
    ......(.)(.).(.)..{3}.(?!\10|\11|\12).{37}|
    ....(.)(.)(.).....{4}.(?!\13|\14|\15).{36}|
    ..(.)(.)(.).......{5}.(?!\16|\17|\18).{35}|
    (.).(.)......(.)..{6}.(?!\19|\20|\21).{34}|
    ..(.).....(.).(.).{7}.(?!\22|\23|\24).{33}|
    (.)..(.)(.).......{8}.(?!\25|\26|\27).{32}|
    ...(.).....(.)(.).{9}.(?!\28|\29|\30).{31}|
    .(.)(.).....(.)...{10}.(?!\31|\32|\33).{30}|
    .(.)...(.)..(.)...{11}.(?!\34|\35|\36).{29}|
    (.)(.).....(.)....{12}.(?!\37|\38|\39).{28}|
    ...(.).(.).(.)....{13}.(?!\40|\41|\42).{27}|
    ..(.)(.)..(.).....{14}.(?!\43|\44|\45).{26}|
    (.).(.)....(.)....{15}.(?!\46|\47|\48).{25}|
    (.)..(.)...(.)....{16}.(?!\49|\50|\51).{24}|
    (.)(.)(.).........{17}.(?!\52|\53|\54).{23}|
    .(.)..(.)(.)......{18}.(?!\55|\56|\57).{22}|
    (.)...(.)..(.)....{19}.(?!\58|\59|\60).{21}|
    .......(.)(.)(.)..{20}.(?!\61|\62|\63).{20}|
    .(.).....(.).(.)..{21}.(?!\64|\65|\66).{19}|
    ..(.)..(.)...(.)..{22}.(?!\67|\68|\69).{18}|
    ..(.).(.).....(.).{23}.(?!\70|\71|\72).{17}|
    ...(.).(.)..(.)...{24}.(?!\73|\74|\75).{16}|
    .(.)(.)(.)........{25}.(?!\76|\77|\78).{15}|
    (.).(.).....(.)...{26}.(?!\79|\80|\81).{14}|
    .....(.)..(.).(.).{27}.(?!\82|\83|\84).{13}|
    (.).(.).(.).......{28}.(?!\85|\86|\87).{12}|
    ..(.)...(.)..(.)..{29}.(?!\88|\89|\90).{11}|
    (.)....(.)..(.)...{30}.(?!\91|\92|\93).{10}|
    ....(.).(.).(.)...{31}.(?!\94|\95|\96).{9}|
    ...(.)..(.)(.)....{32}.(?!\97|\98|\99).{8}|
    ..(.)..(.)..(.)...{33}.(?!\100|\101|\102).{7}|
    ..(.).(.)(.)......{34}.(?!\103|\104|\105).{6}|
    ..(.)(.)..(.).....{35}.(?!\106|\107|\108).{5}|
    .(.).....(.)(.)...{36}.(?!\109|\110|\111).{4}|
    ..(.)....(.)(.)...{37}.(?!\112|\113|\114).{3}|
    ...(.)..(.)...(.).{38}.(?!\115|\116|\117).{2}|
    ....(.)(.)....(.).{39}.(?!\118|\119|\120).{1}
)$
COTO
sumber
2
Pertandingan: aaaabaaacaaadaaa. Non-pertandingan: fdeacdbfbdcadaafdadcfdddfdbffeccbdecaaebfdfcfecbbfad.
jimmy23013
Ganti (.)dengan karakter yang cocok, dan urutkan berdasarkan karakter itu, dan itu akan menjadi jelas.
jimmy23013
1
Perhatikan bahwa ini adalah NP-lengkap, tetapi tidak aman secara kriptografis. Dan ada terlalu banyak batasan dan terlalu sedikit variabel untuk membuatnya sulit.
jimmy23013
1
@ user23013: Dimainkan dengan baik, tuan. ;) Dan memang saya percaya ini dapat direduksi menjadi SAT, yang merupakan tujuan saya. Tidak cukup bit di sana untuk membuatnya sulit, seperti yang Anda katakan.
COTO
5

Rasa python (721 bytes) [retak]

Saatnya untuk "Parsing Problem v2":

^(((?(8)S)(((?(9)I|\\)(?(3)\]|Z)((?(7)l|R)(((((((?(4)p)((?(7)x)(?(1)B|Z)(?(11)\()(?(9)X)(?(8)P|T)(?(6)a|E)((?(5)E)(((?(8)3|\[)((?(3)\(|1)((?(1)M|L)(?(3)v|b)(?(2)t|l)(?(1)q)(?(1)K|H)(?(2)\)|R)(?(3)O|K)(?(5)l|l)(((?(2)\[|3)((?(2)N)((?(2)\\)((?(1)E|\])(?(1)\[)([(?(1)Q)])(?(24)\[)(?(24)q))(?(24)g))(?(22)s|U)(?(22)H)(?(23)c|U))(?(24)Q)(?(24)Q)(?(24)H)(?(23)K|\[))(?(22)e|y))(?(24)\\)(?(21)P|4)(?(19)T)(?(24)\))))(?(24)M)(?(17)\()(?(24)2))(?(19)7)(?(21)t|X)(?(22)v))(?(24)\[)(?(19)A|L)(?(16)E|1))(?(19)1|c)(?(14)K|\\)(?(19)4|5)(?(24)\\)(?(20)r)))(?(24)B)(?(24)w)(?(24)5))(?(24)\())(?(24)\\))(?(24)T))(?(9)\[))(?(15)z|w))(?(24)K)\7F(?(24)m)(?(24)R))(?(24)\[))(?(24)h))(?(14)x|t)(?(3)R|M)(?(24)\])(?(24)w))(?(21)z|6)(?(16)r)()$

Diuji pada Regex101 .


Regex ini secara efektif "menyembunyikan pohon di hutan". Sebagian besar regex terdiri dari (?(id)yes-pattern|no-pattern)ekspresi, yang cocok dengan pola yang sesuai tergantung pada ada atau tidaknya grup dengan id yang ditentukan. Sebagian besar ekspresi ini tidak berkontribusi pada kunci, tetapi beberapa tidak. Namun, tidak begitu tersembunyi di dalam regex adalah [(?(1):Q)]yang sebenarnya merupakan rangkaian karakter , dan \7, yang mengharuskan Anda untuk melacak grup. Kedua hal ini akan muncul di editor mana pun dengan sorotan, tetapi dimaksudkan untuk menjebak siapa pun yang tidak berhati-hati.

Sp3000
sumber
Sobat, ini butuh kerjaan.
stokastic
4
\ZRZTE[1LblHRKl3]?sHcKePT(7tvAE1K4r[zZTE[1LblHRKl3]?sHcKePT(7tvAE1K4rFxRzrcocok. atidak cocok
g.rocket
Selain itu, himpunan semua pertandingan yang memungkinkan adalah (komentar saya sebelumnya) dengan kedua ?karakter tersebut diganti dengan karakter apa pun di(?(1)Q)
g.rocket
(pada Regex101, ia memberi tahu Anda dengan tepat apa yang ingin dicocokkan ketika pertandingan gagal. Ini membuat menemukan hal-hal yang cocok lebih mudah (setidaknya untuk menemukan kesalahan ketik dalam solusi saya)).
g.rocket
Saya sudah dekat, saya hanya melewatkan ?'s
stokastic
5

Rasa python (4842 bytes) [retak]

Dengan terima kasih kepada @COTO untuk ide dan saran

Saya sangat menyukai ide 3-SAT @ COTO sehingga saya pikir saya akan mencoba membuat regex sendiri berdasarkan itu. Saya tidak begitu akrab dengan teori 3-SAT, jadi saya hanya akan berdoa kepada para dewa RNG dan berharap saya memiliki batasan yang cukup.

Saya mencoba untuk menjaga regex di bawah 5000 karakter agar adil - jelas regex yang lebih panjang tidak mungkin untuk di-crack, tetapi mereka juga tidak akan menyenangkan untuk di-crack.

[^01]|^(.{0,81}|.{83,}|....0.{10}1.{22}0.{43}|....0.{14}0.{35}0.{26}|....0.{16}0.{5}1.{54}|....0.{17}1.{34}0.{24}|....1.{11}0.{41}1.{23}|....1.{12}1.{27}1.{36}|....1.{22}1.{38}1.{15}|....1.{30}0.{35}1.{10}|....1.{46}0.1.{28}|....1.{6}1.{65}0....|...0....1.1.{71}|...0.{18}0.{23}0.{35}|...1.{11}1.{33}1.{32}|..0...0.{53}1.{21}|..0.{30}1.{17}0.{30}|..1.{41}0.{10}0.{26}|.0.{13}0.{39}1.{26}|.0.{18}0.{49}0.{11}|.0.{27}1.{36}0.{15}|.0.{31}11.{47}|.00.{37}1.{41}|.1.{32}0.{31}1.{15}|.1.{38}0.{25}0.{15}|.1.{7}0.{38}0.{33}|.{10}0.{14}0.{15}0.{40}|.{10}0.{15}1.{15}1.{39}|.{10}0.{27}1.{11}1.{31}|.{10}0.{39}0.{7}0.{23}|.{10}0.{42}10.{27}|.{10}0.{9}0.{38}0.{22}|.{10}1.{45}1.{16}0.{8}|.{10}1.{47}0.{15}0.{7}|.{10}1.{59}0.{5}1.{5}|.{11}0.{11}0.{54}0...|.{11}0.{29}1.{35}0....|.{11}1.{32}0.{25}1.{11}|.{11}1.{48}1.{6}1.{14}|.{11}11.{50}1.{18}|.{12}0.{27}1.{18}0.{22}|.{12}0.{45}1.{7}1.{15}|.{12}1.{15}0.{42}1.{10}|.{13}0.{40}1...0.{23}|.{13}1.{20}1.{5}1.{41}|.{13}1.{22}0.{31}0.{13}|.{13}1.{24}1.{39}1...|.{13}1.{58}0.{8}0|.{14}0.{22}0....1.{39}|.{14}0.{23}0.{23}1.{19}|.{14}0.{53}10.{12}|.{14}1.{19}1.{11}0.{35}|.{14}1.{19}1.{21}1.{25}|.{14}1.{23}0.{14}0.{28}|.{14}1.{24}1.{12}1.{29}|.{14}1.{35}0.{22}0.{8}|.{14}1.{48}0.{15}1..|.{14}1.{58}0....1...|.{14}1.{65}11|.{14}1.{6}1.0.{58}|.{15}0...01.{61}|.{15}0.{12}0.{30}0.{22}|.{15}0.{15}0.{34}0.{15}|.{15}0.{30}1.{25}0.{9}|.{15}0.{31}0.{32}1.|.{15}0.{36}0.{25}1...|.{15}1.{14}1.{21}1.{29}|.{15}1.{16}1.{16}1.{32}|.{15}1.{20}0.{32}1.{12}|.{16}0.{35}1.{24}0....|.{16}0.{36}1.{15}1.{12}|.{16}1.{13}1.{22}0.{28}|.{16}1.{16}1.{14}0.{33}|.{16}1.{48}1.0.{14}|.{17}1.{29}1.{31}0..|.{17}1.{47}1.{8}0.{7}|.{17}1.{9}0.{20}0.{33}|.{18}0..0.{59}1|.{18}0.{33}1.{6}0.{22}|.{18}0.{36}1.{24}1.|.{18}0.{39}0.{17}1.{5}|.{18}1..0.{35}0.{24}|.{18}1.{16}0.{7}1.{38}|.{19}0.{17}0.{8}1.{35}|.{19}1.{42}00.{18}|.{20}0.{25}1.{31}1...|.{20}0.{43}1.{12}0....|.{20}0.{8}1.{40}0.{11}|.{20}00.{56}1...|.{20}1.{38}0.{7}1.{14}|.{21}0.{39}1.{16}0...|.{22}1....0.{44}1.{9}|.{22}1..1.{20}1.{35}|.{23}0.{39}1.{8}0.{9}|.{23}0.{8}1.{41}1.{7}|.{23}1.{18}1.{25}0.{13}|.{23}1.{20}0.{6}0.{30}|.{24}0.{17}1.{16}0.{22}|.{24}0.{21}1.{13}0.{21}|.{24}1...1.{49}0...|.{24}1.{5}0.{37}0.{13}|.{24}1.{8}1.{37}0.{10}|.{25}0.{36}0....0.{14}|.{25}1....0.{29}0.{21}|.{25}1....1.{10}1.{40}|.{25}1.{13}1.{13}0.{28}|.{25}1.{40}0.{7}0.{7}|.{26}0.{13}1.{21}0.{19}|.{26}0.{13}1.{25}1.{15}|.{27}0.{20}1.{11}0.{21}|.{27}0.{36}0.{6}0.{10}|.{27}1....1.0.{47}|.{27}1...0.{13}1.{36}|.{27}1.{10}0.{26}0.{16}|.{27}1.{30}1.{15}0.{7}|.{28}0.{14}1.{37}0|.{28}0.{21}1.0.{29}|.{28}0.{26}0.{16}0.{9}|.{28}1.{18}1.{23}1.{10}|.{29}0.{17}0.0.{32}|.{29}1.{24}0.{19}1.{7}|.{29}1.{46}1....0|.{30}1.{18}1.{9}0.{22}|.{30}1.{28}0....1.{17}|.{32}0.{25}1.{6}1.{16}|.{33}0.{22}1.{12}0.{12}|.{33}0.{6}0.{11}0.{29}|.{33}1.{5}1.{31}0.{10}|.{34}0.{13}0.{8}0.{24}|.{34}1...1.{35}0.{7}|.{34}1..1.{29}1.{14}|.{34}1.{38}01.{7}|.{34}1.{5}0.{40}1|.{34}1.{6}1.{38}1.|.{34}1.{7}0.{31}0.{7}|.{34}11...1.{42}|.{35}0.{19}0..0.{23}|.{35}1.{12}1.{24}0.{8}|.{36}0.{6}1.{17}1.{20}|.{36}0.{7}1.{17}1.{19}|.{36}0.{8}0.{13}1.{22}|.{36}1.{14}0.{9}1.{20}|.{37}0.{26}1.{16}0|.{37}1.{27}0.{10}0.{5}|.{38}1.{21}1.{7}1.{13}|.{39}0..0.{20}0.{18}|.{39}0.{15}0.{19}1.{6}|.{40}0....0.{28}1.{7}|.{40}0.{15}1.0.{23}|.{40}0.{5}1.{16}0.{18}|.{40}0.{8}1.{29}1..|.{40}00.0.{38}|.{41}0.0.{20}0.{17}|.{41}00.{32}0.{6}|.{41}1.{16}1.{21}1.|.{41}1.{8}1.{18}0.{12}|.{42}1.{31}1.{6}1|.{42}11.{27}0.{10}|.{43}0.{34}10..|.{44}1.0.{10}1.{24}|.{45}0.{9}0.{5}0.{20}|.{45}1.{12}0.{22}1|.{45}1.{17}1....0.{13}|.{45}1.{9}0...0.{22}|.{46}0.{11}1.{19}1...|.{46}1.{24}0.{5}0....|.{47}11.{8}1.{24}|.{48}0.{12}1....0.{15}|.{48}0.{15}0.{13}1...|.{48}1...0.{13}0.{15}|.{48}1.{11}0..0.{18}|.{48}11.{21}0.{10}|.{49}1.{7}1.{14}0.{9}|.{51}1.{12}1.{5}1.{11}|.{54}0.{13}0.{6}1.{6}|.{54}1.{11}1.1.{13}|.{56}0.{16}0..1.{5}|.{56}1.{11}0.{6}0.{6}|.{58}1....1.{6}0.{11}|.{5}0.{17}0.{42}0.{15}|.{5}0.{23}1.{26}1.{25}|.{5}0.{34}1.{22}0.{18}|.{5}0.{6}1.{13}1.{55}|.{5}1.{12}0.{31}1.{31}|.{5}1.{16}0.{39}1.{19}|.{5}1.{16}1.1.{57}|.{5}1.{24}1.{15}1.{35}|.{5}1.{24}1.{47}1...|.{66}0.0.{5}1.{7}|.{6}0....1.{24}0.{45}|.{6}0.{19}0.{7}1.{47}|.{6}0.{23}0.{14}0.{36}|.{6}0.{25}1.{41}0.{7}|.{6}0.{46}1.{22}0.{5}|.{6}0.{52}11.{21}|.{6}1.{35}10.{38}|.{7}0.{20}0.{16}0.{36}|.{7}0.{34}1.{20}1.{18}|.{7}0.{6}0.{36}0.{30}|.{7}0.{7}0.{15}0.{50}|.{7}0.{8}1.{42}1.{22}|.{7}1.{5}1.{56}1.{11}|.{7}1.{67}0..1...|.{8}0.{10}0.{38}0.{23}|.{8}0.{41}11.{30}|.{8}0.{9}1.{37}1.{25}|.{8}1.{50}1.{14}1.{7}|.{9}0..1.{55}0.{13}|.{9}0.{21}1.{42}0.{7}|.{9}0.{59}00.{11}|.{9}0.{9}0....1.{57}|.{9}00.{41}1.{29}|.{9}1....0.{20}0.{46}|.{9}1...0.{41}1.{26}|.{9}1.{30}0.{16}1.{24}|.{9}1.{30}0.{37}1...|.{9}1.{30}1.{14}1.{26}|.{9}1.{40}01.{30}|0.{17}1.{34}0.{28}|0.{23}1.{43}1.{13}|0.{30}1.{26}1.{23}|1.{13}00.{66}|1.{28}0.{42}1.{9}|1.{36}0.{35}1.{8}|1.{42}1.{32}1.{5}|1.{49}0.{16}0.{14}|1.{52}0.{7}0.{20}|)$

Dan ini dia dalam bentuk yang sedikit lebih mudah dibaca:

[^01]|
^(
  .{0,81}|
  .{83,}|
  ....0.{10}1.{22}0.{43}|
  ....0.{14}0.{35}0.{26}|
  ....0.{16}0.{5}1.{54}|
  ....0.{17}1.{34}0.{24}|
  ....1.{11}0.{41}1.{23}|
  ....1.{12}1.{27}1.{36}|
  ....1.{22}1.{38}1.{15}|
  ....1.{30}0.{35}1.{10}|
  ....1.{46}0.1.{28}|
  ....1.{6}1.{65}0....|
  ...0....1.1.{71}|
  ...0.{18}0.{23}0.{35}|
  ...1.{11}1.{33}1.{32}|
  ..0...0.{53}1.{21}|
  ..0.{30}1.{17}0.{30}|
  ..1.{41}0.{10}0.{26}|
  .0.{13}0.{39}1.{26}|
  .0.{18}0.{49}0.{11}|
  .0.{27}1.{36}0.{15}|
  .0.{31}11.{47}|
  .00.{37}1.{41}|
  .1.{32}0.{31}1.{15}|
  .1.{38}0.{25}0.{15}|
  .1.{7}0.{38}0.{33}|
  .{10}0.{14}0.{15}0.{40}|
  .{10}0.{15}1.{15}1.{39}|
  .{10}0.{27}1.{11}1.{31}|
  .{10}0.{39}0.{7}0.{23}|
  .{10}0.{42}10.{27}|
  .{10}0.{9}0.{38}0.{22}|
  .{10}1.{45}1.{16}0.{8}|
  .{10}1.{47}0.{15}0.{7}|
  .{10}1.{59}0.{5}1.{5}|
  .{11}0.{11}0.{54}0...|
  .{11}0.{29}1.{35}0....|
  .{11}1.{32}0.{25}1.{11}|
  .{11}1.{48}1.{6}1.{14}|
  .{11}11.{50}1.{18}|
  .{12}0.{27}1.{18}0.{22}|
  .{12}0.{45}1.{7}1.{15}|
  .{12}1.{15}0.{42}1.{10}|
  .{13}0.{40}1...0.{23}|
  .{13}1.{20}1.{5}1.{41}|
  .{13}1.{22}0.{31}0.{13}|
  .{13}1.{24}1.{39}1...|
  .{13}1.{58}0.{8}0|
  .{14}0.{22}0....1.{39}|
  .{14}0.{23}0.{23}1.{19}|
  .{14}0.{53}10.{12}|
  .{14}1.{19}1.{11}0.{35}|
  .{14}1.{19}1.{21}1.{25}|
  .{14}1.{23}0.{14}0.{28}|
  .{14}1.{24}1.{12}1.{29}|
  .{14}1.{35}0.{22}0.{8}|
  .{14}1.{48}0.{15}1..|
  .{14}1.{58}0....1...|
  .{14}1.{65}11|
  .{14}1.{6}1.0.{58}|
  .{15}0...01.{61}|
  .{15}0.{12}0.{30}0.{22}|
  .{15}0.{15}0.{34}0.{15}|
  .{15}0.{30}1.{25}0.{9}|
  .{15}0.{31}0.{32}1.|
  .{15}0.{36}0.{25}1...|
  .{15}1.{14}1.{21}1.{29}|
  .{15}1.{16}1.{16}1.{32}|
  .{15}1.{20}0.{32}1.{12}|
  .{16}0.{35}1.{24}0....|
  .{16}0.{36}1.{15}1.{12}|
  .{16}1.{13}1.{22}0.{28}|
  .{16}1.{16}1.{14}0.{33}|
  .{16}1.{48}1.0.{14}|
  .{17}1.{29}1.{31}0..|
  .{17}1.{47}1.{8}0.{7}|
  .{17}1.{9}0.{20}0.{33}|
  .{18}0..0.{59}1|
  .{18}0.{33}1.{6}0.{22}|
  .{18}0.{36}1.{24}1.|
  .{18}0.{39}0.{17}1.{5}|
  .{18}1..0.{35}0.{24}|
  .{18}1.{16}0.{7}1.{38}|
  .{19}0.{17}0.{8}1.{35}|
  .{19}1.{42}00.{18}|
  .{20}0.{25}1.{31}1...|
  .{20}0.{43}1.{12}0....|
  .{20}0.{8}1.{40}0.{11}|
  .{20}00.{56}1...|
  .{20}1.{38}0.{7}1.{14}|
  .{21}0.{39}1.{16}0...|
  .{22}1....0.{44}1.{9}|
  .{22}1..1.{20}1.{35}|
  .{23}0.{39}1.{8}0.{9}|
  .{23}0.{8}1.{41}1.{7}|
  .{23}1.{18}1.{25}0.{13}|
  .{23}1.{20}0.{6}0.{30}|
  .{24}0.{17}1.{16}0.{22}|
  .{24}0.{21}1.{13}0.{21}|
  .{24}1...1.{49}0...|
  .{24}1.{5}0.{37}0.{13}|
  .{24}1.{8}1.{37}0.{10}|
  .{25}0.{36}0....0.{14}|
  .{25}1....0.{29}0.{21}|
  .{25}1....1.{10}1.{40}|
  .{25}1.{13}1.{13}0.{28}|
  .{25}1.{40}0.{7}0.{7}|
  .{26}0.{13}1.{21}0.{19}|
  .{26}0.{13}1.{25}1.{15}|
  .{27}0.{20}1.{11}0.{21}|
  .{27}0.{36}0.{6}0.{10}|
  .{27}1....1.0.{47}|
  .{27}1...0.{13}1.{36}|
  .{27}1.{10}0.{26}0.{16}|
  .{27}1.{30}1.{15}0.{7}|
  .{28}0.{14}1.{37}0|
  .{28}0.{21}1.0.{29}|
  .{28}0.{26}0.{16}0.{9}|
  .{28}1.{18}1.{23}1.{10}|
  .{29}0.{17}0.0.{32}|
  .{29}1.{24}0.{19}1.{7}|
  .{29}1.{46}1....0|
  .{30}1.{18}1.{9}0.{22}|
  .{30}1.{28}0....1.{17}|
  .{32}0.{25}1.{6}1.{16}|
  .{33}0.{22}1.{12}0.{12}|
  .{33}0.{6}0.{11}0.{29}|
  .{33}1.{5}1.{31}0.{10}|
  .{34}0.{13}0.{8}0.{24}|
  .{34}1...1.{35}0.{7}|
  .{34}1..1.{29}1.{14}|
  .{34}1.{38}01.{7}|
  .{34}1.{5}0.{40}1|
  .{34}1.{6}1.{38}1.|
  .{34}1.{7}0.{31}0.{7}|
  .{34}11...1.{42}|
  .{35}0.{19}0..0.{23}|
  .{35}1.{12}1.{24}0.{8}|
  .{36}0.{6}1.{17}1.{20}|
  .{36}0.{7}1.{17}1.{19}|
  .{36}0.{8}0.{13}1.{22}|
  .{36}1.{14}0.{9}1.{20}|
  .{37}0.{26}1.{16}0|
  .{37}1.{27}0.{10}0.{5}|
  .{38}1.{21}1.{7}1.{13}|
  .{39}0..0.{20}0.{18}|
  .{39}0.{15}0.{19}1.{6}|
  .{40}0....0.{28}1.{7}|
  .{40}0.{15}1.0.{23}|
  .{40}0.{5}1.{16}0.{18}|
  .{40}0.{8}1.{29}1..|
  .{40}00.0.{38}|
  .{41}0.0.{20}0.{17}|
  .{41}00.{32}0.{6}|
  .{41}1.{16}1.{21}1.|
  .{41}1.{8}1.{18}0.{12}|
  .{42}1.{31}1.{6}1|
  .{42}11.{27}0.{10}|
  .{43}0.{34}10..|
  .{44}1.0.{10}1.{24}|
  .{45}0.{9}0.{5}0.{20}|
  .{45}1.{12}0.{22}1|
  .{45}1.{17}1....0.{13}|
  .{45}1.{9}0...0.{22}|
  .{46}0.{11}1.{19}1...|
  .{46}1.{24}0.{5}0....|
  .{47}11.{8}1.{24}|
  .{48}0.{12}1....0.{15}|
  .{48}0.{15}0.{13}1...|
  .{48}1...0.{13}0.{15}|
  .{48}1.{11}0..0.{18}|
  .{48}11.{21}0.{10}|
  .{49}1.{7}1.{14}0.{9}|
  .{51}1.{12}1.{5}1.{11}|
  .{54}0.{13}0.{6}1.{6}|
  .{54}1.{11}1.1.{13}|
  .{56}0.{16}0..1.{5}|
  .{56}1.{11}0.{6}0.{6}|
  .{58}1....1.{6}0.{11}|
  .{5}0.{17}0.{42}0.{15}|
  .{5}0.{23}1.{26}1.{25}|
  .{5}0.{34}1.{22}0.{18}|
  .{5}0.{6}1.{13}1.{55}|
  .{5}1.{12}0.{31}1.{31}|
  .{5}1.{16}0.{39}1.{19}|
  .{5}1.{16}1.1.{57}|
  .{5}1.{24}1.{15}1.{35}|
  .{5}1.{24}1.{47}1...|
  .{66}0.0.{5}1.{7}|
  .{6}0....1.{24}0.{45}|
  .{6}0.{19}0.{7}1.{47}|
  .{6}0.{23}0.{14}0.{36}|
  .{6}0.{25}1.{41}0.{7}|
  .{6}0.{46}1.{22}0.{5}|
  .{6}0.{52}11.{21}|
  .{6}1.{35}10.{38}|
  .{7}0.{20}0.{16}0.{36}|
  .{7}0.{34}1.{20}1.{18}|
  .{7}0.{6}0.{36}0.{30}|
  .{7}0.{7}0.{15}0.{50}|
  .{7}0.{8}1.{42}1.{22}|
  .{7}1.{5}1.{56}1.{11}|
  .{7}1.{67}0..1...|
  .{8}0.{10}0.{38}0.{23}|
  .{8}0.{41}11.{30}|
  .{8}0.{9}1.{37}1.{25}|
  .{8}1.{50}1.{14}1.{7}|
  .{9}0..1.{55}0.{13}|
  .{9}0.{21}1.{42}0.{7}|
  .{9}0.{59}00.{11}|
  .{9}0.{9}0....1.{57}|
  .{9}00.{41}1.{29}|
  .{9}1....0.{20}0.{46}|
  .{9}1...0.{41}1.{26}|
  .{9}1.{30}0.{16}1.{24}|
  .{9}1.{30}0.{37}1...|
  .{9}1.{30}1.{14}1.{26}|
  .{9}1.{40}01.{30}|
  0.{17}1.{34}0.{28}|
  0.{23}1.{43}1.{13}|
  0.{30}1.{26}1.{23}|
  1.{13}00.{66}|
  1.{28}0.{42}1.{9}|
  1.{36}0.{35}1.{8}|
  1.{42}1.{32}1.{5}|
  1.{49}0.{16}0.{14}|
  1.{52}0.{7}0.{20}|
)$

Diuji pada Regex101 .


Regex sedang mencari string 82-karakter S0s dan 1s. Ia melakukan sejumlah besar pemeriksaan formulir (setelah menerapkan de Morgan's) S[index1] != digit1ATAU S[index2] != digit2ATAU S[index3] != digit3, yang merupakan klausa 3-SAT. Ukuran regex linier dalam jumlah petunjuk, dan logaritmik dalam jumlah karakter dalam kunci (karena .{n}notasi). Sayangnya, untuk mengamankan jumlah petunjuk harus naik dengan ukuran kunci, dan sementara itu mungkin untuk membuat kunci yang tidak bisa dipecahkan dengan cara ini, itu akan berakhir menjadi regex yang cukup panjang.

Sp3000
sumber
1
Pertandingan: x. Tidak cocok:0011001101000000000111010001101101011000010011011010000000010001011111000100010000
nneonneo
Pertandingan: aaaabaaacaaadaaa. Tidak cocok: 011100110010001010111101001010010011110010011010110101010001101100101111111111+ 0000. Hanya beberapa detik lebih lambat ...
jimmy23013
Wow itu cepat - apakah kalian kasar memaksanya?
Sp3000
1
@ Sp3000 Saya melakukannya hampir secara manual ... Anehnya metode statistik bekerja.
jimmy23013
2
@ Sp3000: Saya akan melakukannya dengan kasar tetapi itu tidak menyenangkan. Alih-alih, saya mengubah urutan Anda menjadi 3SAT dan memecahkannya dengan minisat. Butuh 0,3 detik (waktu yang dihabiskan untuk mengkonversi, ~ 10 menit)
nneonneo
5

Bumbu Perl, 133 [pecah]

Oke, yang ini harusnya lebih susah untuk di paksa:

^([^,]{2,}),([^,]{2,}),([^,]{2,}),(?=.\2+,)(?=.\3+,)\1+,(?=.\1+,)(?=.\3+,)\2+,(?=.\1+,)(?=.\2+,)\3+,(?=.{16,20}$)(\1{3}|\2{3}|\3{3})$

Dan versi yang lebih panjang, bukan bagian dari tantangan:

^([^,]{3,}),([^,]{3,}),([^,]{3,}),([^,]{3,}),([^,]{3,}),([^,]{3,}),(?=.\2+,)(?=.\3+,)(?=.\4+,)(?=.\5+,)(?=.\6+,)\1+,(?=.\1+,)(?=.\3+,)(?=.\4+,)(?=.\5+,)(?=.\6+,)\2+,(?=.\1+,)(?=.\2+,)(?=.\4+,)(?=.\5+,)(?=.\6+,)\3+,(?=.\1+,)(?=.\2+,)(?=.\3+,)(?=.\5+,)(?=.\6+,)\4+,(?=.\1+,)(?=.\2+,)(?=.\3+,)(?=.\4+,)(?=.\6+,)\5+,(?=.\1+$)(?=.\2+$)(?=.\3+$)(?=.\4+$)(?=.\5+$)\6+$

Dapat diuji pada Regex101 (rasa PCre ).


Gagasan di balik pola ini adalah bahwa kita dapat menyandikan sistem persamaan kongruensi sederhana dalam suatu regex menggunakan lookaheads. Misalnya, regex ^(?=(..)*$)(...)*$cocok dengan string apa pun yang panjangnya merupakan kelipatan umum dari 2 dan 3 , yaitu kelipatan dari 6 . Ini dapat dilihat sebagai persamaan 2x ≡ 0 mod 3 . Kita dapat parameterisasi persamaan menggunakan kelompok tangkap: regex ^(.*),(.*),(?=\1*$)\2*$cocok dengan string di mana jumlah karakter setelah koma terakhir adalah kelipatan umum dari panjang kiriman pertama dan kedua. Ini dapat dilihat sebagai sumbu persamaan parameter ≡ 0 mod b , di mana a dan b adalah panjang dari dua submatch.

Regex di atas dimulai dengan mengambil tiga "parameter" panjang setidaknya dua, dan diikuti oleh tiga "sistem persamaan" dari (?=.\1+,)(?=.\2+,)\3+,yang sesuai dengan {ax + 1 ≡ 0 mod c, oleh + 1 ≡ 0 mod c, ax = by} , di mana a , b dan c adalah panjang dari kiriman yang sesuai. Sistem persamaan ini memiliki solusi jika dan hanya jika a dan b adalah coprime to c . Karena kami memiliki tiga sistem seperti itu, satu untuk setiap pengiriman, panjang pengiriman harus berpasangan berpasangan.

Bagian terakhir dari regex ada untuk memastikan bahwa salah satu kiriman memiliki panjang 6 . Ini memaksa dua kiriman lainnya menjadiPanjang 5 dan 7 karakter, karena nilai yang lebih kecil tidak akan coprime dan nilai yang lebih besar akan menghasilkan kunci yang lebih panjang dari 256 karakter. Solusi terkecil untuk persamaan kemudian menghasilkan substring panjang 85 , 36 dan 91 , yang menghasilkan string panjang 254 --- sekitar selama kita bisa mendapatkan.

Regex yang lebih panjang menggunakan prinsip yang sama, hanya dengan 6 parameter panjang setidaknya tiga parameter dan tidak ada batasan tambahan. Set coprime berpasangan terkecil dari enam bilangan bulat lebih besar dari 2 adalah {3, 4, 5, 7, 11, 13} , yang menghasilkan substring dengan panjang minimum 40041, 15016, 24025, 34321, 43681 dan 23101. Oleh karena itu, string terpendek yang cocok dengan regex yang lebih panjang adalah a{3},a{4},a{5},a{7},a{11},a{13},a{40041},a{15016},a{24025},a{34321},a{43681},a{23101} (hingga urutan parameter). Itu 180.239 karakter!

Elo
sumber
Itu {16,20}.
Sp3000
2
Pertandingan: aaaaa,aaaaaa,aaaaaaa,aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,aaaaaaaaaaaaaaaaaa, Mismatch:aaaaaaaaaaaaaaaa
Sp3000
Saya pikir SE terus menambahkan ekstra auntuk beberapa alasan - harus ada 5,6,7,85,36,91,18 aantara koma: /
Sp3000
@ Sp3000 Pilih kartu, kartu apa saja;) Ya, Anda memecahkannya. Sepertinya beberapa 'a dalam komentar Anda adalah non-ASCII, tetapi angkanya benar.
Ell
@ Ell Semua aadalah ASCII, tetapi ada dua karakter Unicode yang tidak dapat dicetak untuk setiap jeda baris manual SE.
Martin Ender
5

.NET flavor, 141 byte [retak]

(?=(?<![][])(?(c)(?!))((?<c>[[])|(?<-c>[]])){15,}(?(c)(?!))(?![][]))^.*$(?<=(?<![][])(?(c)(?!))((?<c>[[])|(?<-c>[]])){15,}(?(c)(?!))(?![][]))

Satu lagi untuk para perampok! Saya yakin ini akan retak, tapi saya harap orang yang memecahkannya akan mempelajari sesuatu yang menarik tentang .NET flavor dalam prosesnya.

Diuji pada RegexStorm dan RegexHero .

Saya pikir yang satu ini akan menarik karena bergantung pada interaksi dari ketiga fitur landmark regex yang hanya dapat Anda temukan di .NET: tampilan panjang variabel, kelompok penyeimbang, dan pencocokan kanan ke kiri.

Sebelum kita mulai ke .NET-spesifik, mari kita jelaskan hal sederhana tentang kelas karakter. Kelas karakter tidak boleh kosong, jadi jika seseorang mulai dengan ], itu sebenarnya bagian dari kelas tanpa perlu melarikan diri. Demikian juga, a [dalam kelas karakter dapat dengan jelas diperlakukan sebagai anggota kelas tanpa melarikan diri. Jadi []]sama saja dengan mencocokkan satu \], dan [[]sama dengan \[dan yang lebih penting [][]adalah kelas karakter yang mengandung kedua tanda kurung.

Sekarang mari kita lihat struktur regex:(?=somePattern)^.*$(?<=somePattern). Jadi kecocokan sebenarnya adalah segalanya (the ^.*$) tetapi kami menerapkan satu pola dua kali, menambatkannya ke awal sekali dan ke akhir sekaligus.

Mari kita lihat pola itu: (?<![][])pastikan tidak ada tanda kurung sebelum pola. (?![][])(pada akhirnya) memastikan bahwa tidak ada braket setelah pola. Ini terpenuhi di ujung string atau berdekatan dengan karakter lain.
Hal ini (?(c)(?!)), pada awalnya sebenarnya berlebihan untuk saat ini, karena itu hanya memastikan bahwa kelompok penangkap bernama ctidak cocok dengan apa pun. Kami memang membutuhkan ini pada akhirnya, jadi setidaknya itu bagus dan simetris. Sekarang bagian utama dari pola ini: ((?<c>[[])|(?<-c>[]])){15,}(?(c)(?!)). Kelompok-kelompok ini disebut kelompok penyeimbang, dan apa yang mereka lakukan di sini cocok dengan setidaknya 15 stringkurung kotak seimbang . Ada banyak yang bisa dikatakan tentang menyeimbangkan grup - terlalu banyak untuk posting ini, tapi saya bisa merujuk Anda ke diskusi yang agak komprehensif yang saya posting di StackOverflow beberapa waktu lalu.

Oke, jadi yang dilakukan lookahead adalah memastikan bahwa pola dimulai dengan tanda kurung kotak yang seimbang - dan tidak ada tanda kurung kotak di sebelahnya.

Sekarang tampilan di belakang mengandung pola yang persis sama. Jadi bukankah ini mubazir? Bukankah sesuatu seperti [][][][][][][][]memenuhi kedua tampilan dan menyebabkan pola cocok?

Tidak. Karena di sinilah rumit. Meskipun tidak berdokumen, .NET lookbehinds dicocokkan dari kanan ke kiri. Inilah sebabnya mengapa .NET adalah satu-satunya rasa yang mendukung tampilan panjang variabel. Biasanya Anda tidak memperhatikan ini karena urutan pencocokan tidak relevan. Tetapi dalam kasus khusus ini, itu berarti bahwa tanda kurung siku sekarang harus berada di sebelah kanan kurung siku penutup. Jadi tampilan di belakang sebenarnya memeriksa tanda kurung kotak yang tidak cocok, seperti pada ][][][atau ]]][[[. Itu sebabnya saya juga perlu memeriksa (?(c)(?!))di awal pola, karena itu sekarang adalah akhir pertandingan.

Jadi kami ingin 15 (atau 16) tanda kurung di awal string dan 15 (atau 16) tanda kurung yang cocok di akhir string. Tetapi keduanya tidak dapat terhubung karena(?![][])lookarounds. Jadi apa yang kita lakukan? Kami mengambil string yang cocok dan string anti-cocok dan bergabung dengan mereka dengan karakter sewenang-wenang, memberi misalnya [][][][][[[[]]]]!][][][][]]]][[[[.

Saya kira itu menyisakan satu pertanyaan ... bagaimana saya mengetahui bahwa penampilan itu cocok dari kanan ke kiri? Yah aku pernah mencoba sihir regex yang misterius sekali dan tidak tahu mengapa penampilanku tidak bekerja. Jadi saya bertanya situs T&J yang ramah di sebelah . Sekarang saya sangat senang dengan fitur ini, karena membuat grup penyeimbang menjadi lebih kuat jika Anda tahu cara menggunakannya dengan benar. :)

Martin Ender
sumber
1
Pertandingan: [][][][][][][][]a][][][][][][][][. Non-pertandingan:That's interesting...
jimmy23013
@ user23013 Yup! Itu tadi cepat. Apakah Anda sudah terbiasa dengan kebiasaan .NET? :)
Martin Ender
Seandainya saya sudah menemukan tampilan di balik kekhilafan 5 menit sebelumnya
TwiNight
Tidak. Tapi saya sudah tahu bilangan tidak diizinkan terlihat di belakang di PCRE. Saya pikir sebenarnya melihat ke belakang jauh lebih baik dari itu.
jimmy23013
@ MartinBüttner Jadi, untuk mengkonfirmasi, lihat apakah sebenarnya cocok dari belakang ke depan?
TwiNight
5

Rasa python (200127 bytes) [retak]

Hanya agar kita dapat (semoga) melihat sesuatu yang bertahan sehari, saatnya untuk mengeluarkan senjata besar :)

Masalah dengan 3-SAT dan jalur Hamilton adalah kompleksitasnya dalam hal ukuran kunci. Kali ini saya memilih sesuatu yang tergantung pada regex, daripada kuncinya.

Ini dia: regex . Anda mungkin juga menemukan file ini berguna. (Jangan khawatir, aku belum menyembunyikan sesuatu yang aneh di sana saat ini;))

Saya menggunakan RegexPlanet untuk menguji yang ini - sulit menemukan sesuatu yang tidak akan habis: /. Untuk memeriksa apakah ada kecocokan, lihat apakah string Anda muncul di bawah findall().

Semoga berhasil!


Regex hanya "menemukan string panjang 64 yang muncul sebagai urutan umum dalam satu set 20 string panjang 5000". Ada terlalu banyak solusi, mungkin.

Sp3000
sumber
5
Pertandingan: d,mE~JZ0,_:3kBdLdgBSzJ!@MLrrAgKsf@Pl35N9bxsIf@ReVU>:YDg`d1MjL@_-. Tidak cocok:{ line|fold -w1 >filea; while line >filec; do fold -w1 <filec >fileb; diff -d --old-line-format= --new-line-format= --unchanged-line-format=%L filea fileb >filec;mv filec filea;done;cat filea;} <file1|tr -d $'\n'|head -c64;echo
jimmy23013
Ahaha saya kalah - saya kira urutannya terlalu panjang dan ada terlalu banyak solusi
Sp3000
@ user23013 Kedengarannya seperti banyak, tetapi sebenarnya tidak terlalu buruk, melihat bahwa ada 543758940919675501092951982164578406702430912230192636691035475762690580138908503507466792584434916813976282966 panjang 648 dengan 648
Martin Ender
Yah, saya salah. Tidak hanya ada solusi 718406958841. Dan skrip saya memiliki bug sehingga mengabaikan pola terakhir. Tetapi urutan umum dari 19 pola pertama terjadi juga merupakan yang terakhir
jimmy23013
@ MartinBüttner Maksudku, aku tidak tahu persis berapa banyak solusi yang ada, dan angka itu salah. Urutan umum terpanjang mereka memiliki 718406958841 (nilai dikoreksi: 97082021465) dengan panjang 64. Tetapi ada CS lain yang bukan merupakan lanjutan dari LCS.
jimmy23013
5

Python, 145475 byte [retak]

Terima kasih kepada Wumpus karena mengajari saya pentingnya memeriksa indeks kami :)

Kesepakatan yang sama dengan solusi terakhir, hanya saja semoga tidak rusak kali ini. Regex mentah: http://pastebin.com/MReS2R1k

EDIT: Tidak rusak, tapi ternyata itu masih terlalu mudah. Setidaknya itu tidak diselesaikan "secara instan";)

nneonneo
sumber
4
Non-pertandingan: 1040060321170122554027333022674205250442151362365165773421664173556667110413375720720711725045122733213710556062114131057357354554245723416516004761215632214223735570625116160162051407026445600345370604702671021412723536217011007021752560474402200436670402Pertandingan:minisat2hoursCPU
Ayup. Saya ketahuan. Itu cukup cepat. Mungkin saya harus menghilangkan regex 1GB saya setelah semua ...
nneonneo
5

Implementasi Java Pattern / Oracle (75 karakter / 150 byte UTF-16) [retak]

(Nama kode: Kopi Buruk 101)

Ini adalah Patternobjek, dengan CANON_EQflag, untuk digunakan dengan matches()(jangkar tersirat):

Pattern.compile("(\\Q\u1EBF\\\\E)?+[\\w&&[\\p{L1}]\\p{Z}]+|\\1[\uD835\uDC00-\uD835\uDC33]{1927027271663633,2254527117918231}", Pattern.CANON_EQ)

Uji kunci Anda di sini di ideone

Dijamin ada kunci. Baca spoiler jika Anda ingin konfirmasi.

Seperti yang Anda lihat, ini bukan regex normal. Namun, ini berjalan tanpa Exceptionpada Oracle Java versi 1.6.0u37 dan Java versi 1.7.0u11, dan itu juga harus berjalan untuk versi terbaru pada saat penulisan.

Ini menggunakan 4 bug CANON_EQ:, retensi teks yang ditangkap dari upaya yang gagal, kelas karakter yang hilang, dan kelebihan quantifier.

n̴̖̋h̷͉̃a̷̭̿h̸̡̅ẗ̵̨́d̷̰̀ĥ̷̳
sumber
4
Cocokkan : "(?:e\u0302\u0301\\|\u00ea\u0301\\|\u1ebf\\|\u00ea\\\u0301|e\u0302\\\u0301|\u00ea\\\u0301|\u00ea\u0301\\|\u1ebf\\|e\\\u0302\u0301)\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00\uD835\uDC00"(formulir dikutip). Non-pertandingan : JavaRegexSoBuggy. ideone untuk pertandingan: ideone.com/DEesdk
nneonneo
Bug yang ditemukan: (1) CANON_EQmemperluas karakter yang sudah dikomposisikan menjadi pergantian secara internal, yang pecah di dalamnya \Q\E; (2) panjang repetisi dipotong menjadi 32 bit; (3) ada beberapa hal aneh yang terjadi dengan pencocokan kelas karakter yang menyebabkannya melewatkan pergantian (tidak tahu persis apa bug itu sebenarnya).
nneonneo
@nneonneo: Penjelasan Anda benar. Tapi Anda lupa \1bug backref . Dan ya, ada bug di kelas karakter. Bagaimana Anda mengetahui semua ini dalam waktu kurang dari 2 jam?
n̴̖̋h̷͉̃a̷̭̿h̸̡̅ẗ̵̨́d̷̰̀ĥ̷̳
Saya mulai mengerjakannya 20 menit yang lalu. Anda membuatnya cukup jelas bagian mana dari masalah yang menekankan bug mana (karena setiap bug pada dasarnya adalah dalam kelompoknya sendiri), jadi saya mencari cara untuk memuaskan setiap bagian secara independen, dan kemudian menggabungkannya. Saya beruntung bahwa saya tidak harus benar-benar mengetahui apa yang dilakukan kelas karakter. (Saya juga sangat beruntung bahwa Java mengeluarkan pola internal "diperluas" ketika Anda memiliki kesalahan sintaks :)
nneonneo
Juga! Saya tidak percaya bahwa retensi teks yang ditangkap adalah bug. Tampaknya itulah cara kerja penjumlahan posesif. (Ini juga properti yang agak berguna untuk peretasan regex tertentu ... hm ...)
nneonneo
5

.NET flavor, 17.372 byte [retak]

Ini masih versi yang mudah. Perlu lebih banyak optimasi untuk bekerja dengan string yang lebih panjang.

Regex ada di sini: http://pastebin.com/YPE4zyBB

Tidak diunggah: http://pastebin.com/PLJp0KhF

Diuji pada RegexStorm dan blog ini dan RegExLib (dengan semua opsi tidak dicentang).

Solusi untuk regex ini adalah faktorisasi 5122188685368916735780446744735847888756487271329 = 2147852126374329492975359 * 2384795779221263457172831, dengan hasil yang dikodekan dalam basis 289, paling tidak signifikan terlebih dahulu.

Setiap digit pertama dibagi menjadi dua angka 17 dasar untuk membuat perhitungan lebih cepat. Ini juga bagaimana produk dikodekan dalam regex.

Setiap pasangan digit dalam dua nomor kemudian dikalikan ke capture kelompok a0untuk a38. Masing-masing adalah digit dari produk. Posisi saat ini terus dilacak oleh pdan q. Dan carry diproses setelah perkalian, sambil membandingkan produk.

Itu ada di basis 289 karena dirancang untuk menerima dua angka 1024 bit, yang masing-masing memiliki 128 basis 256 digit, dan saya tidak berpikir untuk menghilangkan koma sehingga string penuh dengan basis 256 akan menjadi 257 karakter.

Versi 1536 bit ada di sini . Ia menerima dua nomor 768 bit. Angka-angka dalam versi yang mudah ini masing-masing hanya memiliki 81 bit.

jimmy23013
sumber
2
Cocok : Ľê¯6Aĝ4aþĀ,lŃŝĿBİŢŞĩï(lolos:) \u013d\xea\xaf6A\u011d4a\xfe\u0100,l\u0143\u015d\u013fB\u0130\u0162\u015e\u0129\xef. Tidak cocok :VeryNiceMultiplier
nneonneo
4

ECMAScript flavour, 30 byte [retak]

^((?![\t- ]|[^\s])(.)(?!\2))+$

Inilah yang agak sederhana untuk dirampok para perampok. Secara konseptual tidak terlalu sulit, tetapi mungkin memerlukan sedikit riset (atau skrip). Saya tidak bermaksud untuk mendaftarkan diri di papan peringkat, tetapi jika seseorang memecahkannya dalam waktu 72 jam, ini akan dihitung untuk skor perampok mereka.

Diuji pada Regex101 dan RegExr menggunakan Chrome.

Ya, itu cepat!

Regex seharusnya untuk mencocokkan string apapun yang terdiri dari berbeda karakter spasi non-ASCII. Namun, saya lupa .*sebelum \2, jadi itu benar-benar cocok dengan string whitespace non-ASCII, yang tidak mengandung dua karakter identik berturut-turut. Ada 18 karakter seperti itu dalam jangkauan Unicode hingga titik kode 0xFFFF. Pertandingan yang diposting oleh user23013 adalah salah satu string tersebut, terdiri dari 16 karakter.

Martin Ender
sumber
1
Pertandingan (base64) wqDigZ/CoOKBn8Kg4oGfwqDigZ/CoOKBn8Kg4oGfwqDigZ/CoOKBnw==aaaabaaacaaadaaa
:,
Itu tidak berbeda tetapi hanya bergantian, dengan hanya dua karakter yang berbeda.
jimmy23013
@ user23013 Sial, saya lupa .*di lookahead. Tangkapan yang bagus. Seharusnya sudah diuji lebih teliti.
Martin Ender
4

Rasa Ruby , 24 byte [retak]

^(?!.*(.+)\1)([\[\\\]]){256}$
histokrat
sumber
Harap sertakan tautan ke tester di mana kunci yang Anda maksudkan berfungsi (seperti rubular.com ). (Juga, tip pro kekaburan / golf: jika Anda menggunakan PCRE sebagai gantinya, kelas karakter dapat ditulis sebagai []\\[];))
Martin Ender
Tautan ditambahkan. Saya curiga Wumpus telah memecahkannya, dapat membuktikannya dengan permalink ke rubular.com
histokrat
2
Non-pertandingan: soylentgreenispeople. Cocok tersedia di rubular.com/r/TCqjcaGsU1 tidak diposting di sini karena cara sistem komentar menangani kata-kata panjang.
@ WumpusQ.Wumbley Hebat! Jika Anda memasukkan yang tidak cocok ke dalam komentar yang sama, kami dapat membersihkan semua kekacauan di atas ini.
Martin Ender
4

PHP, 168 byte [dipecahkan oleh nneonneo ]

^((?![!?$]*[^!?$]))?(?:[^!]\2?+(?=(!*)(\\\3?+.(?!\3)))){4}(?(1)|Ha! No one will ever get this one...)|(?!(?1))\Q\1?!($!?)?\E\1?!($!?)?(?<!.{12})\Q(?=(?1))\E(?=(?1))!\?$

Ini adalah demo regex .

PS Game ini sulit.

Unihedron
sumber
2
Pertandingan : \1?!($!?)?!(?=(?1))!?. Tidak cocok :IncrementalRegexTestingWorks
nneonneo
@nneonneo Ah, kamu terlalu baik;)
Unihedron
4

PCRE (1043 bytes) [retak]

Setelah regex yang dibuat secara acak telah mengecewakan saya (ide-idenya bagus, tetapi saya tidak dapat menghasilkan contoh masalah yang memadai), saya memutuskan untuk membuat kerajinan tangan yang satu ini. Saya menyebutnya "Banyak aturan yang harus dipenuhi".

^(?=^([^)(]*\(((?>[^)(]+)|(?1))*\)[^)(]*)*$)(?=^([^][]*\[((?>[^][]+)|(?3))*\][^][]*)*$)(?=^([^}{]*\{((?>[^}{]+)|(?5))*\}[^}{]*)*$)(?!^\(.*)(?!.*\(.{250}\).*)(?=.*\[.{250}\].*)(?=.*\{.{250}\}.*)(?=.*\[.\(\).\{\}.\].*)(?=.*\}...\[...\[...\]...\]...\{.*)(?=.*\(\(..\(\(.{68}\(\(\)\).{43}\)\)\)\).*)(?=.*\{..\{..\{.{65}\{\}\{\}.{33}\{\}.{107}\}\}.\}.*)(?=.*\[\{\{\[\(\{.*)(?=.*\[\[..\[.{6}\[.{6}\]\]...\]\].{6}\[..\]..\[\].*)(?=.*\]\]\}\}\}.\)\)\)\).{96}\]\}\}\]\]\]\}\]\]\].\)\]\].*)(?=.*\]..\).{6}\(.{7}\{.{5}\[...\[.{5}\{\[.*)(?=.*\[.{87}\{.{45}}{.{38}}.{27}\].*)(?=.*\(\{.{32}\(.{20}\{.{47}\].{43}\{\{.{25}\}\}.{18}\].{5}\}....\}.{5}\).*)(?=.*\{.{12}\(.{5}\(...\(...\{\[.\{\[\[.*)(?=.*\{\(.{21}\).{8}\}.{14}\[.{7}\]..\{.{5}\{\}....\}.*)(?=.*\(.\{.{49}\{.{16}\}.{25}\}.{66}\).*)(?!.*\(\{\(\(.*)(?!.*\(\)\[\].*)(?=(.*?\].*?\)){15,}.*)(?=(.*\[.*\(.*\{){5,9}.*)(?=.*\({3}.{105}\[{3}.{105}[^}{].*)(?=.*\(..\).{5}\(\)....\}\}\].\{\{\[.{22}\[.{35}\}\}\].*)(?!.*\(\(.{178}\])(?=(.*\[..\]){8,10}.*)(?!(.*\([^\(\)]{5}\(){4,}.*).{63}(.{6}).{130}\11.{51}$

Dan diperluas:

^
(?=^([^)(]*\(((?>[^)(]+)|(?1))*\)[^)(]*)*$)
(?=^([^][]*\[((?>[^][]+)|(?3))*\][^][]*)*$)
(?=^([^}{]*\{((?>[^}{]+)|(?5))*\}[^}{]*)*$)
(?!^\(.*)
(?!.*\(.{250}\).*)
(?=.*\[.{250}\].*)
(?=.*\{.{250}\}.*)
(?=.*\[.\(\).\{\}.\].*)
(?=.*\}...\[...\[...\]...\]...\{.*)
(?=.*\(\(..\(\(.{68}\(\(\)\).{43}\)\)\)\).*)
(?=.*\{..\{..\{.{65}\{\}\{\}.{33}\{\}.{107}\}\}.\}.*)
(?=.*\[\{\{\[\(\{.*)
(?=.*\[\[..\[.{6}\[.{6}\]\]...\]\].{6}\[..\]..\[\].*)
(?=.*\]\]\}\}\}.\)\)\)\).{96}\]\}\}\]\]\]\}\]\]\].\)\]\].*)
(?=.*\]..\).{6}\(.{7}\{.{5}\[...\[.{5}\{\[.*)
(?=.*\[.{87}\{.{45}}{.{38}}.{27}\].*)
(?=.*\(\{.{32}\(.{20}\{.{47}\].{43}\{\{.{25}\}\}.{18}\].{5}\}....\}.{5}\).*)
(?=.*\{.{12}\(.{5}\(...\(...\{\[.\{\[\[.*)
(?=.*\{\(.{21}\).{8}\}.{14}\[.{7}\]..\{.{5}\{\}....\}.*)
(?=.*\(.\{.{49}\{.{16}\}.{25}\}.{66}\).*)
(?!.*\(\{\(\(.*)
(?!.*\(\)\[\].*)
(?=(.*?\].*?\)){15,}.*)
(?=(.*\[.*\(.*\{){5,9}.*)
(?=.*\({3}.{105}\[{3}.{105}[^}{].*)
(?=.*\(..\).{5}\(\)....\}\}\].\{\{\[.{22}\[.{35}\}\}\].*)
(?!.*\(\(.{178}\])
(?=(.*\[..\]){8,10}.*)
(?!(.*\([^\(\)]{5}\(){4,}.*)
.{63}(.{6}).{130}\11.{51}
$

Diuji pada Regex101 - tergantung pada komputer Anda, Anda mungkin perlu menambah waktu eksekusi maksimal.


Regex ini menyandikan sejumlah besar aturan yang hanya perlu dipenuhi. Solusi apa pun akan berhasil, itu hanya menemukan satu.

  • Tiga aturan inti pertama mengharuskan, secara terpisah, semua ([{tanda kurung harus seimbang di dalam kunci.
  • Sebagian besar ekspresi mensyaratkan bahwa "bentuk" tertentu harus dalam atau tidak berada di kunci. Misalnya, baris ke-8 membutuhkan sesuatu dari formulir [.(.).].
  • Aturan seperti (?=(.*\[.*\(.*\{){5,9}.*), misalnya, mengharuskan [({pergantian terjadi setidaknya 5 kali. Perhatikan bahwa garis ini secara khusus disadap di berbagai tingkatan, secara tidak sengaja.
  • Referensi balik \11memerlukan satu substring enam karakter untuk muncul dua kali pada posisi tertentu.

Sp3000
sumber
2
Pertandingan : [((({.[.[](){{}{].{.(({){(.[]()....}}].{{[[....).[..]()(}..[..]([....(([{((({).](){.{}{}{}....}[[()[}}][{{[({[[[.]]}()]].{}.]{[..]{.[]]}}}())))(())[(.].{[.{[[..[()].()}{{.[...[}{.]..)]...{.])))).}}..([......{.....[.]}[...}.{[.}...}})}.))).]}}]]]}]]].)]]..}. Non-pertandingan: WhatANastySetOfRulesYouHave.
nneonneo
Saya meningkatkan waktu eksekusi menjadi 50 detik. Ngomong-ngomong, jika Anda hanya menggunakan penjumlah non-serakah yang tepat (?=(.*\[.*\(.*\{){5,9}.*), maka Anda tidak perlu menambah waktu eksekusi maksimum (hasil yang sama) - pertandingan akan instan.
nneonneo
@nneonneo Ahaha ya, saya baru sadar setelah memposting. Bisakah Anda memposting, misalnya, tautan pastebin untuk kunci Anda? Komentar SE sepertinya
berulah
@nneonneo Juga jika Anda memiliki begitu banyak titik dalam solusi Anda, jelas saya tidak punya cukup aturan: P
Sp3000
2
Inilah tautan regex101 dengan solusi saya yang terlihat: regex101.com/r/gP2aX7/1
nneonneo
4

.NET flavor (7563 bytes) [retak]

Terinspirasi oleh ide @ user23013

^(?:(?=1(?<1>){5632})|(?=0)).(?:(?=1(?<1>){79361})|(?=0)).(?:(?=1(?<1>){188421})|(?=0)).(?:(?=1(?<1>){164870})|(?=0)).(?:(?=1(?<1>){63496})|(?=0)).(?:(?=1(?<1>){116233})|(?=0)).(?:(?=1(?<1>){112138})|(?=0)).(?:(?=1(?<1>){47447})|(?=0)).(?:(?=1(?<1>){85005})|(?=0)).(?:(?=1(?<1>){17936})|(?=0)).(?:(?=1(?<1>){108053})|(?=0)).(?:(?=1(?<1>){88599})|(?=0)).(?:(?=1(?<1>){91672})|(?=0)).(?:(?=1(?<1>){178716})|(?=0)).(?:(?=1(?<1>){199710})|(?=0)).(?:(?=1(?<1>){166661})|(?=0)).(?:(?=1(?<1>){190496})|(?=0)).(?:(?=1(?<1>){184494})|(?=0)).(?:(?=1(?<1>){199203})|(?=0)).(?:(?=1(?<1>){116778})|(?=0)).(?:(?=1(?<1>){78891})|(?=0)).(?:(?=1(?<1>){192556})|(?=0)).(?:(?=1(?<1>){24995})|(?=0)).(?:(?=1(?<1>){1071})|(?=0)).(?:(?=1(?<1>){192561})|(?=0)).(?:(?=1(?<1>){108082})|(?=0)).(?:(?=1(?<1>){1593})|(?=0)).(?:(?=1(?<1>){26967})|(?=0)).(?:(?=1(?<1>){197983})|(?=0)).(?:(?=1(?<1>){97034})|(?=0)).(?:(?=1(?<1>){86965})|(?=0)).(?:(?=1(?<1>){60480})|(?=0)).(?:(?=1(?<1>){149571})|(?=0)).(?:(?=1(?<1>){100932})|(?=0)).(?:(?=1(?<1>){40519})|(?=0)).(?:(?=1(?<1>){173492})|(?=0)).(?:(?=1(?<1>){80972})|(?=0)).(?:(?=1(?<1>){115790})|(?=0)).(?:(?=1(?<1>){29265})|(?=0)).(?:(?=1(?<1>){91730})|(?=0)).(?:(?=1(?<1>){173140})|(?=0)).(?:(?=1(?<1>){52821})|(?=0)).(?:(?=1(?<1>){176726})|(?=0)).(?:(?=1(?<1>){170211})|(?=0)).(?:(?=1(?<1>){150105})|(?=0)).(?:(?=1(?<1>){23131})|(?=0)).(?:(?=1(?<1>){81503})|(?=0)).(?:(?=1(?<1>){77412})|(?=0)).(?:(?=1(?<1>){106086})|(?=0)).(?:(?=1(?<1>){4284})|(?=0)).(?:(?=1(?<1>){142610})|(?=0)).(?:(?=1(?<1>){167534})|(?=0)).(?:(?=1(?<1>){190577})|(?=0)).(?:(?=1(?<1>){147731})|(?=0)).(?:(?=1(?<1>){133748})|(?=0)).(?:(?=1(?<1>){194750})|(?=0)).(?:(?=1(?<1>){49257})|(?=0)).(?:(?=1(?<1>){49274})|(?=0)).(?:(?=1(?<1>){120767})|(?=0)).(?:(?=1(?<1>){172668})|(?=0)).(?:(?=1(?<1>){24703})|(?=0)).(?:(?=1(?<1>){108160})|(?=0)).(?:(?=1(?<1>){60546})|(?=0)).(?:(?=1(?<1>){56963})|(?=0)).(?:(?=1(?<1>){30340})|(?=0)).(?:(?=1(?<1>){95368})|(?=0)).(?:(?=1(?<1>){59530})|(?=0)).(?:(?=1(?<1>){53388})|(?=0)).(?:(?=1(?<1>){14477})|(?=0)).(?:(?=1(?<1>){28302})|(?=0)).(?:(?=1(?<1>){182927})|(?=0)).(?:(?=1(?<1>){59024})|(?=0)).(?:(?=1(?<1>){146200})|(?=0)).(?:(?=1(?<1>){153746})|(?=0)).(?:(?=1(?<1>){39571})|(?=0)).(?:(?=1(?<1>){134293})|(?=0)).(?:(?=1(?<1>){158362})|(?=0)).(?:(?=1(?<1>){170139})|(?=0)).(?:(?=1(?<1>){182940})|(?=0)).(?:(?=1(?<1>){7327})|(?=0)).(?:(?=1(?<1>){143525})|(?=0)).(?:(?=1(?<1>){119464})|(?=0)).(?:(?=1(?<1>){82090})|(?=0)).(?:(?=1(?<1>){170667})|(?=0)).(?:(?=1(?<1>){49522})|(?=0)).(?:(?=1(?<1>){69806})|(?=0)).(?:(?=1(?<1>){15535})|(?=0)).(?:(?=1(?<1>){16049})|(?=0)).(?:(?=1(?<1>){163358})|(?=0)).(?:(?=1(?<1>){181876})|(?=0)).(?:(?=1(?<1>){58044})|(?=0)).(?:(?=1(?<1>){16062})|(?=0)).(?:(?=1(?<1>){39616})|(?=0)).(?:(?=1(?<1>){31425})|(?=0)).(?:(?=1(?<1>){94404})|(?=0)).(?:(?=1(?<1>){86848})|(?=0)).(?:(?=1(?<1>){16589})|(?=0)).(?:(?=1(?<1>){195280})|(?=0)).(?:(?=1(?<1>){199377})|(?=0)).(?:(?=1(?<1>){43731})|(?=0)).(?:(?=1(?<1>){67534})|(?=0)).(?:(?=1(?<1>){106198})|(?=0)).(?:(?=1(?<1>){54999})|(?=0)).(?:(?=1(?<1>){52952})|(?=0)).(?:(?=1(?<1>){125828})|(?=0)).(?:(?=1(?<1>){169691})|(?=0)).(?:(?=1(?<1>){184542})|(?=0)).(?:(?=1(?<1>){177888})|(?=0)).(?:(?=1(?<1>){43233})|(?=0)).(?:(?=1(?<1>){127203})|(?=0)).(?:(?=1(?<1>){116518})|(?=0)).(?:(?=1(?<1>){117990})|(?=0)).(?:(?=1(?<1>){67815})|(?=0)).(?:(?=1(?<1>){62202})|(?=0)).(?:(?=1(?<1>){165611})|(?=0)).(?:(?=1(?<1>){197356})|(?=0)).(?:(?=1(?<1>){29933})|(?=0)).(?:(?=1(?<1>){90862})|(?=0)).(?:(?=1(?<1>){90863})|(?=0)).(?:(?=1(?<1>){149232})|(?=0)).(?:(?=1(?<1>){61681})|(?=0)).(?:(?=1(?<1>){137970})|(?=0)).(?:(?=1(?<1>){90357})|(?=0)).(?:(?=1(?<1>){47351})|(?=0)).(?:(?=1(?<1>){172509})|(?=0)).(?:(?=1(?<1>){78293})|(?=0)).(?:(?=1(?<1>){66303})|(?=0)).(?:(?=1(?<1>){66262})|(?=0)).(?:(?=1(?<1>){158471})|(?=0)).(?:(?=1(?<1>){5676})|(?=0)).(?:(?=1(?<1>){127242})|(?=0)).(?:(?=1(?<1>){51979})|(?=0)).(?:(?=1(?<1>){162060})|(?=0)).(?:(?=1(?<1>){27405})|(?=0)).(?:(?=1(?<1>){153874})|(?=0)).(?:(?=1(?<1>){150291})|(?=0)).(?:(?=1(?<1>){1814})|(?=0)).(?:(?=1(?<1>){193815})|(?=0)).(?:(?=1(?<1>){82200})|(?=0)).(?:(?=1(?<1>){59161})|(?=0)).(?:(?=1(?<1>){78620})|(?=0)).(?:(?=1(?<1>){123678})|(?=0)).(?:(?=1(?<1>){147232})|(?=0)).(?:(?=1(?<1>){71457})|(?=0)).(?:(?=1(?<1>){118562})|(?=0)).(?:(?=1(?<1>){129830})|(?=0)).(?:(?=1(?<1>){161841})|(?=0)).(?:(?=1(?<1>){60295})|(?=0)).(?:(?=1(?<1>){165426})|(?=0)).(?:(?=1(?<1>){107485})|(?=0)).(?:(?=1(?<1>){171828})|(?=0)).(?:(?=1(?<1>){166200})|(?=0)).(?:(?=1(?<1>){35124})|(?=0)).(?:(?=1(?<1>){160573})|(?=0)).(?:(?=1(?<1>){7486})|(?=0)).(?:(?=1(?<1>){169279})|(?=0)).(?:(?=1(?<1>){151360})|(?=0)).(?:(?=1(?<1>){6978})|(?=0)).(?:(?=1(?<1>){136003})|(?=0)).(?:(?=1(?<1>){56133})|(?=0)).(?:(?=1(?<1>){8520})|(?=0)).(?:(?=1(?<1>){87436})|(?=0)).(?:(?=1(?<1>){57162})|(?=0)).(?:(?=1(?<1>){197965})|(?=0)).(?:(?=1(?<1>){145230})|(?=0)).(?:(?=1(?<1>){95459})|(?=0)).(?:(?=1(?<1>){180564})|(?=0)).(?:(?=1(?<1>){157850})|(?=0)).(?:(?=1(?<1>){109399})|(?=0)).(?:(?=1(?<1>){191832})|(?=0)).(?:(?=1(?<1>){110223})|(?=0)).(?:(?=1(?<1>){75102})|(?=0)).(?:(?=1(?<1>){140639})|(?=0)).(?:(?=1(?<1>){49504})|(?=0)).(?:(?=1(?<1>){197987})|(?=0)).(?:(?=1(?<1>){52744})|(?=0)).(?:(?=1(?<1>){96615})|(?=0)).(?:(?=1(?<1>){13672})|(?=0)).(?:(?=1(?<1>){73068})|(?=0)).(?:(?=1(?<1>){104814})|(?=0)).(?:(?=1(?<1>){66929})|(?=0)).(?:(?=1(?<1>){23410})|(?=0)).(?:(?=1(?<1>){122686})|(?=0)).(?:(?=1(?<1>){44918})|(?=0)).(?:(?=1(?<1>){101752})|(?=0)).(?:(?=1(?<1>){3961})|(?=0)).(?:(?=1(?<1>){31807})|(?=0)).(?:(?=1(?<1>){54933})|(?=0)).(?:(?=1(?<1>){140096})|(?=0)).(?:(?=1(?<1>){49026})|(?=0)).(?:(?=1(?<1>){5507})|(?=0)).(?:(?=1(?<1>){96132})|(?=0)).(?:(?=1(?<1>){167303})|(?=0)).(?:(?=1(?<1>){57877})|(?=0)).(?:(?=1(?<1>){88461})|(?=0)).(?:(?=1(?<1>){111853})|(?=0)).(?:(?=1(?<1>){126531})|(?=0)).(?:(?=1(?<1>){110998})|(?=0)).(?:(?=1(?<1>){7575})|(?=0)).(?:(?=1(?<1>){7064})|(?=0)).(?:(?=1(?<1>){59289})|(?=0)).(?:(?=1(?<1>){122203})|(?=0)).(?:(?=1(?<1>){175005})|(?=0)).(?:(?=1(?<1>){28025})|(?=0)).(?:(?=1(?<1>){49057})|(?=0)).(?:(?=1(?<1>){6373})|(?=0)).(?:(?=1(?<1>){50084})|(?=0)).(?:(?=1(?<1>){70565})|(?=0)).(?:(?=1(?<1>){75178})|(?=0)).(?:(?=1(?<1>){142763})|(?=0)).(?:(?=1(?<1>){56237})|(?=0)).(?:(?=1(?<1>){32176})|(?=0)).(?:(?=1(?<1>){113073})|(?=0)).(?:(?=1(?<1>){149939})|(?=0)).(?:(?=1(?<1>){16308})|(?=0)).(?:(?=1(?<1>){12725})|(?=0)).(?:(?=1(?<1>){75190})|(?=0)).(?:(?=1(?<1>){54711})|(?=0)).(?:(?=1(?<1>){180664})|(?=0)).(?:(?=1(?<1>){68540})|(?=0)).(?:(?=1(?<1>){93117})|(?=0)).(?:(?=1(?<1>){161781})|(?=0)).(?:(?=1(?<1>){15808})|(?=0)).(?:(?=1(?<1>){130814})|(?=0)).(?:(?=1(?<1>){162379})|(?=0)).(?:(?=1(?<1>){80836})|(?=0)).(?:(?=1(?<1>){149943})|(?=0)).(?:(?=1(?<1>){16841})|(?=0)).(?:(?=1(?<1>){149452})|(?=0)).(?:(?=1(?<1>){182733})|(?=0)).(?:(?=1(?<1>){56270})|(?=0)).(?:(?=1(?<1>){163792})|(?=0)).(?:(?=1(?<1>){34770})|(?=0)).(?:(?=1(?<1>){101843})|(?=0)).(?:(?=1(?<1>){199124})|(?=0)).(?:(?=1(?<1>){129493})|(?=0)).(?:(?=1(?<1>){43990})|(?=0)).(?:(?=1(?<1>){113112})|(?=0)).(?:(?=1(?<1>){71129})|(?=0)).(?:(?=1(?<1>){61402})|(?=0)).(?:(?=1(?<1>){145852})|(?=0)).(?:(?=1(?<1>){98781})|(?=0)).(?:(?=1(?<1>){141790})|(?=0)).(?:(?=1(?<1>){163235})|(?=0)).(?:(?=1(?<1>){110566})|(?=0)).(?:(?=1(?<1>){117737})|(?=0)).(?:(?=1(?<1>){67050})|(?=0)).(?:(?=1(?<1>){68075})|(?=0)).(?:(?=1(?<1>){124047})|(?=0)).(?:(?=1(?<1>){181587})|(?=0)).(?:(?=1(?<1>){125429})|(?=0)).(?:(?=1(?<1>){112118})|(?=0)).(?:(?=1(?<1>){196088})|(?=0)).(?:(?=1(?<1>){25082})|(?=0)).(?:(?=1(?<1>){178684})|(?=0)).(?:(?=1(?<1>){13822})|(?=0)).(?<-1>){10094986}(?(1)(?!))$

Kami tidak bisa memiliki cukup masalah NP-complete! Inilah versi yang diperluas:

^
(?:(?=1(?<1>){5632})|(?=0)).
(?:(?=1(?<1>){79361})|(?=0)).
(?:(?=1(?<1>){188421})|(?=0)).
(?:(?=1(?<1>){164870})|(?=0)).
(?:(?=1(?<1>){63496})|(?=0)).
(?:(?=1(?<1>){116233})|(?=0)).
(?:(?=1(?<1>){112138})|(?=0)).
(?:(?=1(?<1>){47447})|(?=0)).
(?:(?=1(?<1>){85005})|(?=0)).
(?:(?=1(?<1>){17936})|(?=0)).
(?:(?=1(?<1>){108053})|(?=0)).
(?:(?=1(?<1>){88599})|(?=0)).
(?:(?=1(?<1>){91672})|(?=0)).
(?:(?=1(?<1>){178716})|(?=0)).
(?:(?=1(?<1>){199710})|(?=0)).
(?:(?=1(?<1>){166661})|(?=0)).
(?:(?=1(?<1>){190496})|(?=0)).
(?:(?=1(?<1>){184494})|(?=0)).
(?:(?=1(?<1>){199203})|(?=0)).
(?:(?=1(?<1>){116778})|(?=0)).
(?:(?=1(?<1>){78891})|(?=0)).
(?:(?=1(?<1>){192556})|(?=0)).
(?:(?=1(?<1>){24995})|(?=0)).
(?:(?=1(?<1>){1071})|(?=0)).
(?:(?=1(?<1>){192561})|(?=0)).
(?:(?=1(?<1>){108082})|(?=0)).
(?:(?=1(?<1>){1593})|(?=0)).
(?:(?=1(?<1>){26967})|(?=0)).
(?:(?=1(?<1>){197983})|(?=0)).
(?:(?=1(?<1>){97034})|(?=0)).
(?:(?=1(?<1>){86965})|(?=0)).
(?:(?=1(?<1>){60480})|(?=0)).
(?:(?=1(?<1>){149571})|(?=0)).
(?:(?=1(?<1>){100932})|(?=0)).
(?:(?=1(?<1>){40519})|(?=0)).
(?:(?=1(?<1>){173492})|(?=0)).
(?:(?=1(?<1>){80972})|(?=0)).
(?:(?=1(?<1>){115790})|(?=0)).
(?:(?=1(?<1>){29265})|(?=0)).
(?:(?=1(?<1>){91730})|(?=0)).
(?:(?=1(?<1>){173140})|(?=0)).
(?:(?=1(?<1>){52821})|(?=0)).
(?:(?=1(?<1>){176726})|(?=0)).
(?:(?=1(?<1>){170211})|(?=0)).
(?:(?=1(?<1>){150105})|(?=0)).
(?:(?=1(?<1>){23131})|(?=0)).
(?:(?=1(?<1>){81503})|(?=0)).
(?:(?=1(?<1>){77412})|(?=0)).
(?:(?=1(?<1>){106086})|(?=0)).
(?:(?=1(?<1>){4284})|(?=0)).
(?:(?=1(?<1>){142610})|(?=0)).
(?:(?=1(?<1>){167534})|(?=0)).
(?:(?=1(?<1>){190577})|(?=0)).
(?:(?=1(?<1>){147731})|(?=0)).
(?:(?=1(?<1>){133748})|(?=0)).
(?:(?=1(?<1>){194750})|(?=0)).
(?:(?=1(?<1>){49257})|(?=0)).
(?:(?=1(?<1>){49274})|(?=0)).
(?:(?=1(?<1>){120767})|(?=0)).
(?:(?=1(?<1>){172668})|(?=0)).
(?:(?=1(?<1>){24703})|(?=0)).
(?:(?=1(?<1>){108160})|(?=0)).
(?:(?=1(?<1>){60546})|(?=0)).
(?:(?=1(?<1>){56963})|(?=0)).
(?:(?=1(?<1>){30340})|(?=0)).
(?:(?=1(?<1>){95368})|(?=0)).
(?:(?=1(?<1>){59530})|(?=0)).
(?:(?=1(?<1>){53388})|(?=0)).
(?:(?=1(?<1>){14477})|(?=0)).
(?:(?=1(?<1>){28302})|(?=0)).
(?:(?=1(?<1>){182927})|(?=0)).
(?:(?=1(?<1>){59024})|(?=0)).
(?:(?=1(?<1>){146200})|(?=0)).
(?:(?=1(?<1>){153746})|(?=0)).
(?:(?=1(?<1>){39571})|(?=0)).
(?:(?=1(?<1>){134293})|(?=0)).
(?:(?=1(?<1>){158362})|(?=0)).
(?:(?=1(?<1>){170139})|(?=0)).
(?:(?=1(?<1>){182940})|(?=0)).
(?:(?=1(?<1>){7327})|(?=0)).
(?:(?=1(?<1>){143525})|(?=0)).
(?:(?=1(?<1>){119464})|(?=0)).
(?:(?=1(?<1>){82090})|(?=0)).
(?:(?=1(?<1>){170667})|(?=0)).
(?:(?=1(?<1>){49522})|(?=0)).
(?:(?=1(?<1>){69806})|(?=0)).
(?:(?=1(?<1>){15535})|(?=0)).
(?:(?=1(?<1>){16049})|(?=0)).
(?:(?=1(?<1>){163358})|(?=0)).
(?:(?=1(?<1>){181876})|(?=0)).
(?:(?=1(?<1>){58044})|(?=0)).
(?:(?=1(?<1>){16062})|(?=0)).
(?:(?=1(?<1>){39616})|(?=0)).
(?:(?=1(?<1>){31425})|(?=0)).
(?:(?=1(?<1>){94404})|(?=0)).
(?:(?=1(?<1>){86848})|(?=0)).
(?:(?=1(?<1>){16589})|(?=0)).
(?:(?=1(?<1>){195280})|(?=0)).
(?:(?=1(?<1>){199377})|(?=0)).
(?:(?=1(?<1>){43731})|(?=0)).
(?:(?=1(?<1>){67534})|(?=0)).
(?:(?=1(?<1>){106198})|(?=0)).
(?:(?=1(?<1>){54999})|(?=0)).
(?:(?=1(?<1>){52952})|(?=0)).
(?:(?=1(?<1>){125828})|(?=0)).
(?:(?=1(?<1>){169691})|(?=0)).
(?:(?=1(?<1>){184542})|(?=0)).
(?:(?=1(?<1>){177888})|(?=0)).
(?:(?=1(?<1>){43233})|(?=0)).
(?:(?=1(?<1>){127203})|(?=0)).
(?:(?=1(?<1>){116518})|(?=0)).
(?:(?=1(?<1>){117990})|(?=0)).
(?:(?=1(?<1>){67815})|(?=0)).
(?:(?=1(?<1>){62202})|(?=0)).
(?:(?=1(?<1>){165611})|(?=0)).
(?:(?=1(?<1>){197356})|(?=0)).
(?:(?=1(?<1>){29933})|(?=0)).
(?:(?=1(?<1>){90862})|(?=0)).
(?:(?=1(?<1>){90863})|(?=0)).
(?:(?=1(?<1>){149232})|(?=0)).
(?:(?=1(?<1>){61681})|(?=0)).
(?:(?=1(?<1>){137970})|(?=0)).
(?:(?=1(?<1>){90357})|(?=0)).
(?:(?=1(?<1>){47351})|(?=0)).
(?:(?=1(?<1>){172509})|(?=0)).
(?:(?=1(?<1>){78293})|(?=0)).
(?:(?=1(?<1>){66303})|(?=0)).
(?:(?=1(?<1>){66262})|(?=0)).
(?:(?=1(?<1>){158471})|(?=0)).
(?:(?=1(?<1>){5676})|(?=0)).
(?:(?=1(?<1>){127242})|(?=0)).
(?:(?=1(?<1>){51979})|(?=0)).
(?:(?=1(?<1>){162060})|(?=0)).
(?:(?=1(?<1>){27405})|(?=0)).
(?:(?=1(?<1>){153874})|(?=0)).
(?:(?=1(?<1>){150291})|(?=0)).
(?:(?=1(?<1>){1814})|(?=0)).
(?:(?=1(?<1>){193815})|(?=0)).
(?:(?=1(?<1>){82200})|(?=0)).
(?:(?=1(?<1>){59161})|(?=0)).
(?:(?=1(?<1>){78620})|(?=0)).
(?:(?=1(?<1>){123678})|(?=0)).
(?:(?=1(?<1>){147232})|(?=0)).
(?:(?=1(?<1>){71457})|(?=0)).
(?:(?=1(?<1>){118562})|(?=0)).
(?:(?=1(?<1>){129830})|(?=0)).
(?:(?=1(?<1>){161841})|(?=0)).
(?:(?=1(?<1>){60295})|(?=0)).
(?:(?=1(?<1>){165426})|(?=0)).
(?:(?=1(?<1>){107485})|(?=0)).
(?:(?=1(?<1>){171828})|(?=0)).
(?:(?=1(?<1>){166200})|(?=0)).
(?:(?=1(?<1>){35124})|(?=0)).
(?:(?=1(?<1>){160573})|(?=0)).
(?:(?=1(?<1>){7486})|(?=0)).
(?:(?=1(?<1>){169279})|(?=0)).
(?:(?=1(?<1>){151360})|(?=0)).
(?:(?=1(?<1>){6978})|(?=0)).
(?:(?=1(?<1>){136003})|(?=0)).
(?:(?=1(?<1>){56133})|(?=0)).
(?:(?=1(?<1>){8520})|(?=0)).
(?:(?=1(?<1>){87436})|(?=0)).
(?:(?=1(?<1>){57162})|(?=0)).
(?:(?=1(?<1>){197965})|(?=0)).
(?:(?=1(?<1>){145230})|(?=0)).
(?:(?=1(?<1>){95459})|(?=0)).
(?:(?=1(?<1>){180564})|(?=0)).
(?:(?=1(?<1>){157850})|(?=0)).
(?:(?=1(?<1>){109399})|(?=0)).
(?:(?=1(?<1>){191832})|(?=0)).
(?:(?=1(?<1>){110223})|(?=0)).
(?:(?=1(?<1>){75102})|(?=0)).
(?:(?=1(?<1>){140639})|(?=0)).
(?:(?=1(?<1>){49504})|(?=0)).
(?:(?=1(?<1>){197987})|(?=0)).
(?:(?=1(?<1>){52744})|(?=0)).
(?:(?=1(?<1>){96615})|(?=0)).
(?:(?=1(?<1>){13672})|(?=0)).
(?:(?=1(?<1>){73068})|(?=0)).
(?:(?=1(?<1>){104814})|(?=0)).
(?:(?=1(?<1>){66929})|(?=0)).
(?:(?=1(?<1>){23410})|(?=0)).
(?:(?=1(?<1>){122686})|(?=0)).
(?:(?=1(?<1>){44918})|(?=0)).
(?:(?=1(?<1>){101752})|(?=0)).
(?:(?=1(?<1>){3961})|(?=0)).
(?:(?=1(?<1>){31807})|(?=0)).
(?:(?=1(?<1>){54933})|(?=0)).
(?:(?=1(?<1>){140096})|(?=0)).
(?:(?=1(?<1>){49026})|(?=0)).
(?:(?=1(?<1>){5507})|(?=0)).
(?:(?=1(?<1>){96132})|(?=0)).
(?:(?=1(?<1>){167303})|(?=0)).
(?:(?=1(?<1>){57877})|(?=0)).
(?:(?=1(?<1>){88461})|(?=0)).
(?:(?=1(?<1>){111853})|(?=0)).
(?:(?=1(?<1>){126531})|(?=0)).
(?:(?=1(?<1>){110998})|(?=0)).
(?:(?=1(?<1>){7575})|(?=0)).
(?:(?=1(?<1>){7064})|(?=0)).
(?:(?=1(?<1>){59289})|(?=0)).
(?:(?=1(?<1>){122203})|(?=0)).
(?:(?=1(?<1>){175005})|(?=0)).
(?:(?=1(?<1>){28025})|(?=0)).
(?:(?=1(?<1>){49057})|(?=0)).
(?:(?=1(?<1>){6373})|(?=0)).
(?:(?=1(?<1>){50084})|(?=0)).
(?:(?=1(?<1>){70565})|(?=0)).
(?:(?=1(?<1>){75178})|(?=0)).
(?:(?=1(?<1>){142763})|(?=0)).
(?:(?=1(?<1>){56237})|(?=0)).
(?:(?=1(?<1>){32176})|(?=0)).
(?:(?=1(?<1>){113073})|(?=0)).
(?:(?=1(?<1>){149939})|(?=0)).
(?:(?=1(?<1>){16308})|(?=0)).
(?:(?=1(?<1>){12725})|(?=0)).
(?:(?=1(?<1>){75190})|(?=0)).
(?:(?=1(?<1>){54711})|(?=0)).
(?:(?=1(?<1>){180664})|(?=0)).
(?:(?=1(?<1>){68540})|(?=0)).
(?:(?=1(?<1>){93117})|(?=0)).
(?:(?=1(?<1>){161781})|(?=0)).
(?:(?=1(?<1>){15808})|(?=0)).
(?:(?=1(?<1>){130814})|(?=0)).
(?:(?=1(?<1>){162379})|(?=0)).
(?:(?=1(?<1>){80836})|(?=0)).
(?:(?=1(?<1>){149943})|(?=0)).
(?:(?=1(?<1>){16841})|(?=0)).
(?:(?=1(?<1>){149452})|(?=0)).
(?:(?=1(?<1>){182733})|(?=0)).
(?:(?=1(?<1>){56270})|(?=0)).
(?:(?=1(?<1>){163792})|(?=0)).
(?:(?=1(?<1>){34770})|(?=0)).
(?:(?=1(?<1>){101843})|(?=0)).
(?:(?=1(?<1>){199124})|(?=0)).
(?:(?=1(?<1>){129493})|(?=0)).
(?:(?=1(?<1>){43990})|(?=0)).
(?:(?=1(?<1>){113112})|(?=0)).
(?:(?=1(?<1>){71129})|(?=0)).
(?:(?=1(?<1>){61402})|(?=0)).
(?:(?=1(?<1>){145852})|(?=0)).
(?:(?=1(?<1>){98781})|(?=0)).
(?:(?=1(?<1>){141790})|(?=0)).
(?:(?=1(?<1>){163235})|(?=0)).
(?:(?=1(?<1>){110566})|(?=0)).
(?:(?=1(?<1>){117737})|(?=0)).
(?:(?=1(?<1>){67050})|(?=0)).
(?:(?=1(?<1>){68075})|(?=0)).
(?:(?=1(?<1>){124047})|(?=0)).
(?:(?=1(?<1>){181587})|(?=0)).
(?:(?=1(?<1>){125429})|(?=0)).
(?:(?=1(?<1>){112118})|(?=0)).
(?:(?=1(?<1>){196088})|(?=0)).
(?:(?=1(?<1>){25082})|(?=0)).
(?:(?=1(?<1>){178684})|(?=0)).
(?:(?=1(?<1>){13822})|(?=0)).
(?<-1>){10094986}
(?(1)(?!))
$

Setiap (?:(?=1(?<1>){n})|(?=0)).baris mendorong nstring kosong ke grup 1jika angka 1 ditemukan, dan tidak melakukan apa pun jika a 0ditemukan. (?<-1>){10094986}(?(1)(?!))kemudian memeriksa bahwa jumlah total string kosong dalam grup 1 pada akhirnya adalah 10094986. Oleh karena itu tujuan kami adalah untuk menemukan subset dari angka-angka sehingga totalnya adalah 10094986. Ini persis masalah jumlah subset, yang merupakan kasus khusus dari masalah ransel, dan NP-lengkap.

Diuji pada Regex Hero (Regex Storm habis untuk yang satu ini).

Sp3000
sumber
2
Cocokkan: 01111111111111111111111011001111111111011111111111111111111101111111111 11111111111111111111011111111000000000000000000000000000000000000000000 00000000000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000 (hapus spasi itu). Non-pertandingan: KnapsackAlgorithm . Tidak mudah untuk menginstal Silverlight di mesin Ubuntu saya. Tapi ini berhasil pada beberapa tester lainnya.
jimmy23013
@ user23013 Ah oops, saya lupa bahwa diperlukan Silverlight. Tapi jujur ​​saja, entah aku kurang beruntung atau ada banyak solusi, karena itu adalah rantai panjang 0-an pada akhirnya di sana. Kemudian lagi saya harus mendapatkan lebih dari penghalang int 32-bit pertama, saya pikir saya punya ide ...
Sp3000
Saya sudah memiliki 700+ bit integer dalam jawaban terakhir saya!
jimmy23013
@ user23013 Dan Anda meminta kami untuk memfaktorkannya? Sangat kejam! : P
Sp3000
2
Integer ke faktorise adalah 1536 bit.
jimmy23013
4

.NET flavor (52506 bytes)

Subset jumlah, edisi mewah.

Regex di sini , versi yang diperluas di sini , diuji pada RegExLib dan Regex Hero


Cocok: 1000010001000000001101011000001101110101001010011101000101010011011101000001010101001000010010000111011101100101001101001111000111010101100000101000101010110001010101001100100001110010001101010101100010110011000000110110000000011111101000001000011111100010

Ketidakcocokan: Huzzah for NP-complete regexes

Regex ini adalah salah satu masalah jumlah subset raksasa, dan menggunakan 16 grup untuk menyimpan data. Masing-masing 1dalam string mewakili 16 angka 10-bit, yang bersama-sama mewakili bilangan bulat 160-bit. Beberapa baris terakhir regex membawa nilai dalam grup sehingga grup 2-16 naik menjadi 1023 (misalnya 1 * 1023 + 1024 menjadi 2 * 1023 + 1), karena jika tidak kita hanya akan menyelesaikan 16 subset mini simultan jumlah masalah yang bertentangan dengan yang besar.

Sp3000
sumber
Selamat telah berhasil melewati 72 jam! Sekarang Anda dapat mengunci jawaban agar tidak retak dengan mengungkapkan kunci. Sampai Anda melakukannya, jawabannya masih bisa di-crack.
Martin Ender
4

.NET flavor, 53.884 bytes [aman]

Dihasilkan oleh GnuPG! Dan diekstraksi dengan pgpdump. Ini 1536 bit karena versi yang lebih lama gagal pada tester online.

Regex ada di sini: http://pastebin.com/PkJnj9ME

Diuji pada RegExLib (tanpa opsi yang dipilih). Saya harap saya tidak menyebabkan terlalu banyak masalah bagi mereka.

Anda mungkin ingin memecahkan versi yang mudah terlebih dahulu. Itu sama dengan yang ini, kecuali memiliki kunci yang jauh lebih pendek.

Anda mungkin juga menginginkan nomor ini:

1877387013349538768090205114842510626651131723107399383794998450806739516994144298310401108806926034240658300213548103711527384569076779151468208082508190882390076337427064709559437854062111632001332811449146722382069400055588711790985185172254011431483115758796920145490044311800185920322455262251745973830227470485279892907738203417793535991544580378895041359393212505410554875960037474608732567216291143821804979045946285675144158233812053215704503132829164251

Kunci

Pertandingan:

Ëòčĵċsïݲ¤ėGâĥÓŧÿÃiTüū&0EĚĵŒR@bĵ¤¿Ĉ=ķüÙļÞďYaŃīŲĢŪÕďųïyĘŊŢĝĪĘŠćĢmtŠîĽþĽłŶāĨĩģTő!ĺw=aŧïųţĨíœą¸Ëč!,ĵţ¨ŌąŜ7ć<ůū¹"VCæ>õêqKËĖ¡ôÕÂúëdčÜÇĺřGĝ¢ÈòTdĩŤŭi§aćŎŭųä«´3ĚΦîŇĬÒÕ¥ńü½å±ì³Jõ«D>ìYũʼn5öķ@ŪĠďàÂIĭųė!

Tidak cocok:

1111111111111111

Bilangan prima:

1332079940234179614521970444786413763737753518438170921866494487346327879385305027126769158207767221820861337268140670862294914465261588406119592761408774455338383491427898155074772832852850476306153369461364785463871635843192956321
1409365126404871907363160248446313781336249368768980464167188493095028723639124224991540391841197901143131758645183823514744033123070116823118973220350307542767897614254042472660258176592286316247065295064507580468562028846326382331

Penjelasan dalam versi yang mudah .

Skrip generator (dalam CJam)

'~),'!i>"+.()?*\\[]{|}^$/,^-:#"-
'ǝ,'¡i>173c-+289<:T;

95:F;
95:G;

"
^
(?=["T",]{"FG+)`"}$)
(?=.{"F`"},)
(?!.*,.*,)
(?:
    (?(X)
        (?<-X>)
        (?(L)(?<-L>)(?<l>)|){16}
    |
        (?:
            "
            [T289,]z
            {[~17md["(?<l>){"\'}]["(?<L>){"@'}]]}%'|*
            "
        )
        (?<X>)
    )
    (?=.*,
        (?:
            (?(Y)
                (?<-Y>)
                (?(R)(?<-R>)(?<r>)|){16}
            |
                (?:
                    "
                    [T289,]z
                    {[~17md["(?<r>){"\'}]["(?<R>){"@'}]]}%'|*
                    "
                )
                (?<Y>)
            )

            (?(l)
                (?<-l>)(?<x>)
                (?(r)(?<-r>)(?<y>)(?<v>)|){16}
                (?(y)(?<-y>)(?<r>)|){16}
            |){16}
            (?(x)(?<-x>)(?<l>)|){16}

            (?(p)(?<-p>)(?<s>)(?<z>)|){"F2*(`"}
            (?(z)(?<-z>)(?<p>)|){"F2*(`"}
            (?(q)(?<-q>)(?<s>)(?<z>)|){"G2*(`"}
            (?(z)(?<-z>)(?<q>)|){"G2*(`"}
            "
            "
            (?(s)
                (?<-s>)
            "FG+(2**
            "
                (?(v)(?<-v>)(?<a"FG+(2*`">)|){256}
            "
            ["
            |
                (?(v)(?<-v>)(?<a"">)|){256}
            )
            "]aFG+(2*,W%m*{~\~@`\}/
            "
            (?(r)(?<-r>)|){16}
            (?<q>)
        ){"G2*`"}
        (?<-q>){"G2*`"}
    )
    (?(l)(?<-l>)|){16}
    (?<p>)
){"F2*`"},

"
[
l~17bW%_,FG+2*\- 0a*+
FG+2*,
]z
{
~:A`:B;:C;
"
(?<-a"B">){"C`"}
(?(a"B")(?<-a"B">){17}(?<a"A)`">)|){4100}
(?(a"B")(?!)|)"
}/

]:+N9c+-

Masukan harus berupa angka di atas.

Setelah Anda selesai, solusinya dapat dihasilkan oleh program ini:

'~),'!i>"+.()?*\\[]{|}^$/,^-:#"-
'ǝ,'¡i>173c-+289<:T;

95:F;
95:G;

{
r~289bW%_,FG:F;\- 0a*+
{T=}%
}2*',\

Input harus berupa dua bilangan bulat.

jimmy23013
sumber
Sangat buruk. RegExLib sedang down. Saya pikir orang sebaiknya menggunakan Silverlight atau tester lokal. Tapi saya tidak bisa mengujinya.
jimmy23013
IIRc, RegexHero adalah .NET tester di browser, menggunakan Silverlight.
n̴̖̋h̷͉̃a̷̭̿h̸̡̅ẗ̵̨́d̷̰̀ĥ̷̳
Gagasan lain tentang bilangan bulat besar adalah untuk menghitung bilangan produk mod prime mendekati 200. Ini harus lebih cepat. Tetapi kodenya akan lebih lama dan saya tidak akan melakukannya dalam jawaban faktorisasi bilangan bulat.
jimmy23013
Selamat telah berhasil melewati 72 jam! Sekarang Anda dapat mengunci jawaban agar tidak retak dengan mengungkapkan kunci. Sampai Anda melakukannya, jawabannya masih bisa di-crack.
Martin Ender
4

PHP, 395 byte [dipecahkan oleh nneonneo ]

^( *)( *)( *)(['.-])((?!\4)(?4)+?)((?!\4|\5)(?4)++)\1\3whale
(?=.(.))\6.\7\4(?!\4|\6)([_\/])\3(?!(?11))\8\2(?=\2)\3\1_((?=\4+.).\5(?!\6)\5)(?!.?')\7\4
(?=.\7)\6.([,`])\3{2}(?=.((?!\8)[_\/])\11)\Q(_\E.\4{2}(?!\.)\5((?!\10)(?10)(?!\4+|\5|\6))\1\3{3}(\\)
(\3{3})\13\2{2}\1{1}\3+(?<=\S {10})\4\1\3\|
\1(?=\12)(?12)(?!`,)\10\4(\11{2})\4\14\10\15\9\8
\14{2}(?=\6)['-]\4(?<!-)\11\8\11\4\6\11\15\.-|(?!)

Jigsaw yang lebih baik daripada entri terakhir saya.

Catatan: Kunci yang cocok adalah multiline, dengan setiap baris dipisahkan oleh karakter baris baru \n. Bangun kembali beberapa seni ASCII!

Ini adalah demo regex .

Unihedron
sumber
3
Cocokkan : 202e272d207768616c650a2d3a3a2e2f202f205f2e27273a2e0a2d3a2c2020285f5f2e2e27602020205c0a2020205c202020202020202020202e207c0a602c2e5f5f2e2020202c5f5f2e27272f0a2020202020202d2e5f2f5f2e2d5f5f5f2e2d(hex-encoded) Non-pertandingan : IDon'tThinkIGotTheRightPicture. Ruang kerja bukti: regex101.com/r/gF9pU0/1
nneonneo
1
@nneonneo Wow! Anda menyelesaikannya: D Tetapi gambar yang tepat ada di sini: regex101.com/r/oM9rC4/1
Unihedron
1
Ya, saya pikir saya tidak punya cukup ruang (tapi regex tidak memeriksa terlalu kuat). Dan, sepertinya saya telah bertukar .-'di awal .'-. Kalau dipikir-pikir, mantan jauh lebih masuk akal untuk seni ASCII;)
nneonneo
3

Perasa perl, 97 [retak]

Saya khawatir ini akan terlalu mudah karena batas panjang kunci.

^([^,]+),(?!\1)([^,]+),(?!\1|\2,)([^,]+),(?!\1|(?:\2|\3),)([^,]+),(?=.\2+$)(?=.\3+$)(?=.\4+$)\1+$

Jika Anda pikir Anda telah menemukan ide di baliknya, cobalah versi yang lebih panjang (bukan bagian dari tantangan):

^((?:[^,]{3})+),(?!\1)([^,]+),(?!\1|\2,)([^,]+),(?!\1|(?:\2|\3),)([^,]+),(?!\1|(?:\2|\3|\4),)([^,]+),(?!\1|(?:\2|\3|\4|\5),)([^,]+),(?!\1|(?:\2|\3|\4|\5|\6),)([^,]+),(?!\1|(?:\2|\3|\4|\5|\6|\7),)([^,]+),(?=.\2+$)(?=.\3+$)(?=.\4+$)(?=.\5+$)(?=.\6+$)(?=.\7+$)(?=.\8+$)\1+$
Elo
sumber
1
Pertandingan: aaaaaaa,a,aa,aaa,aaaaaaa. Non-pertandingan: aaaabaaacaaadaaa.
jimmy23013
Versi yang lebih panjang: Cocokkan: aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,a,aa,(hapus karakter ini) aaaa,aaaaaaa,aaaaaaaa,aaaaaaaaaaaaaa,aaaaaaaaaaaaaaaaaaaaaaaaaaaa,(hapus karakter ini) aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa. Tidak cocok:aaaabaaacaaadaaa
jimmy23013
@ user23013: Versi singkatnya benar! Saya bermaksud agar grup tangkapan setidaknya sepanjang dua karakter, yang akan membuat kunci sedikit lebih lama, tetapi saya lupa untuk mengubahnya: P Versi yang lebih panjang salah.
Ell
Situs ini menambahkan beberapa karakter khusus yang tidak terlihat ketika saya mempostingnya. Saya pikir itu sudah diperbaiki sekarang. (Tanpa (remove these characters).)
jimmy23013
@ user23013 Ya, itu cocok. Saya benar-benar tidak berencana untuk semudah itu: P
Ell