Pertanyaan yang diberi tag «np-complete»

Saya ingin tahu apakah ada pekerjaan yang menghubungkan kode hukum dengan kompleksitas. Secara khusus, misalkan kita memiliki masalah keputusan "Mengingat buku hukum ini dan keadaan khusus ini, apakah terdakwa bersalah?" Kelas kompleksitas apa yang dimilikinya? Ada hasil yang telah membuktikan bahwa permainan kartu Magic: the Gathering adalah NP dan Turing-complete …

64 complexity-theory  np-complete  decision-problem 

Masalah ransel mudah dipecahkan oleh pemrograman dinamis. Pemrograman dinamis berjalan dalam waktu polinomial; itu sebabnya kami melakukannya, kan? Saya telah membaca itu sebenarnya adalah masalah NP-lengkap, yang berarti menyelesaikan masalah dalam masalah polinomial mungkin tidak mungkin. Di mana kesalahan saya?

52 complexity-theory  np-complete  dynamic-programming 

Apakah ada masalah NP-lengkap yang telah membuktikan algoritma waktu subeksponensial? Saya meminta input kasus umum, saya tidak berbicara tentang kasus khusus yang dapat ditelusuri di sini. Dengan sub-eksponensial, maksud saya urutan pertumbuhan di atas polinomial, tetapi kurang dari eksponensial, misalnya .ncatatannnlog⁡nn^{\log n}

51 complexity-theory  np-complete  np 

Saya membaca entri Wikipedia tentang " Daftar masalah NP-complete " dan menemukan bahwa game seperti super mario, pokemon, tetris atau permen crush saga np-complete. Bagaimana saya bisa membayangkan np-kelengkapan game? Jawaban tidak perlu terlalu tepat. Saya hanya ingin mendapatkan gambaran tentang apa artinya game bisa selesai-np.

50 complexity-theory  np-complete  computer-games 

Anggaplah saya seorang programmer dan saya punya masalah NP-complete yang saya butuhkan untuk menyelesaikannya. Metode apa yang tersedia untuk menangani masalah NPC? Apakah ada survei atau yang serupa dengan topik ini?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Apakah ada masalah yang diketahui di (dan tidak di ) yang bukan Selesai? Pemahaman saya adalah bahwa saat ini tidak ada masalah yang diketahui, tetapi hal itu belum dikesampingkan sebagai suatu kemungkinan. P N PN PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP} Jika ada masalah yaitu (dan bukan ) tetapi bukan , apakah ini merupakan …

34 complexity-theory  np-complete  p-vs-np 

Jadi, masalah keputusan TSP (Traveling salesman) adalah masalah NP yang lengkap . Tetapi saya tidak mengerti bagaimana saya dapat memverifikasi bahwa solusi yang diberikan untuk TSP sebenarnya optimal dalam waktu polinomial, mengingat bahwa tidak ada cara untuk menemukan solusi optimal dalam waktu polinomial (yang karena masalahnya bukan pada P)? Adakah …

31 complexity-theory  np-complete  traveling-salesman 

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Saya mengambil kursus kompleksitas dan saya mengalami masalah dengan datangnya pengurangan antara masalah NPC. Bagaimana saya bisa menemukan pengurangan di antara masalah? Apakah ada trik umum yang bisa saya gunakan? Bagaimana saya harus mendekati masalah yang meminta saya untuk membuktikan masalah adalah NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Terlintas dalam banyak hal bahwa dalam semua bukti -completeness yang saya baca (yang dapat saya ingat), selalu sepele untuk menunjukkan bahwa masalahnya ada di , dan menunjukkan bahwa itu adalah -hard adalah ... bagian yang sulit. Apa masalah lengkap yang verifier waktu polinomialnya sangat tidak sepele?NP NP NPNPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}

27 complexity-theory  np-complete  np 

Seperti yang terlihat di strip XKCD terbaru ini dan posting blog terbaru inidari Peter Norvig (dan sebuah kisah Slashdot yang menampilkan yang terakhir), "golf regex" (yang mungkin lebih baik disebut masalah pemisahan ekspresi reguler) adalah teka-teki untuk menentukan ekspresi reguler sesingkat mungkin yang menerima setiap kata pada set A dan …

27 complexity-theory  np-complete  regular-expressions 

Pertanyaan ini terinspirasi oleh komentar di StackOverflow . Selain mengetahui masalah NP-lengkap dari buku Garey Johnson, dan banyak lainnya; adakah aturan praktis untuk mengetahui apakah suatu masalah terlihat seperti masalah NP-complete? Saya tidak mencari sesuatu yang ketat, tetapi untuk sesuatu yang bekerja dalam banyak kasus. Tentu saja, setiap kali kita …

26 complexity-theory  np-complete  intuition 

Pernyataan Masalah Informal: Diberikan string, mis. ACCABBABSEBUAHCCSEBUAHBBSEBUAHBACCABBAB , kami ingin mewarnai beberapa huruf merah dan beberapa huruf biru (dan beberapa tidak sama sekali), sehingga hanya membaca huruf merah dari kiri ke kanan menghasilkan hasil yang sama seperti membaca hanya huruf biru. Dalam contoh kita bisa mewarnai mereka seperti ini: ACCABBABSEBUAHCCSEBUAHBBSEBUAHBA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Saya tertarik pada pertanyaan tentang cara terbaik untuk mengajarkan kelengkapan NP ke jurusan ilmu komputer. Secara khusus, haruskah kita mengajarkannya menggunakan pengurangan Karp atau menggunakan pengurangan Turing? Saya merasa bahwa konsep pelengkapan dan pengurangan NP adalah sesuatu yang harus dipelajari oleh setiap ilmu komputer. Namun, ketika mengajarkan kelengkapan NP, saya …

25 complexity-theory  np-complete  reductions  education  didactics