Wenn Zahlen A_1 \ leq A_2 \ leq ... \ leq A_k gegeben sind, so dass \ sum \ limit_ {i = 1} ^ k A_i = k (2k + 1) ist, gibt es eine Zuordnung der Zahlen i_1, i_2, ..., i_ {2k} ist eine Permutation von 1, 2, ..., 2k, so dasskkkA1≤A2≤...≤AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_ki1,i2,. . . ,I2k1,2,....
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times...
Ist diese Variante des Teilmengen-Summenproblems einfach / bekannt? Bei einer gegebenen ganzen Zahl und einer Menge positiver ganzer Zahlen so dass für jedes höchstens Bits auf ( ); Gibt es eine Teilmenge so dass die Summe ihrer Elemente gleich ?A = { x 1 , x 2 , . . . , x n } x i k = 2 1 x i = 2 b...
Ich habe ein Problem, von dem ich vermute, dass es NP-vollständig ist. Es ist leicht zu beweisen, dass es NP ist. Mein aktueller Gedankengang dreht sich um die Verwendung einer Reduzierung des Rucksacks, aber es würde zu Instanzen von 0-1-Rucksack führen, wobei der Wert jedes Gegenstands gleich...
Ich habe mir diese Lesung des MIT über die Komplexität der Berechnungen angesehen und in Minute 15:00 beginnt Erik Demaine eine Demonstration, um zu zeigen, was im Titel dieser Frage steht. Ich kann seiner Argumentation jedoch nicht folgen. In der Praxis sagt er Folgendes: Wir können ein...
Sei L1L1L_1 und wie folgt:L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):
Lassen L={<M>|ML={<M>|ML = \{ | M hält bei jedem Eingang an xxx höchstens in 200∗|x|200∗|x|200 * |x| Schritte }}\}. Ist LLLentscheidbar? Erkennbar? Angesichts dieser Mitgliedschaft in LLL behauptet etwas über MMMDas Verhalten auf einer unendlichen Anzahl von Saiten scheint mir äußerst...
Gibt es eine Klasse von NP-Problemen, die eine einzige Lösung haben? Ich frage das, denn als ich Kryptographie studierte, las ich über den Rucksack und fand die Idee sehr
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine...
Also haben wir gerade im Unterricht etwas über Selbstreduzierbarkeit gelernt. Mein Professor und unser Lehrbuch würden sich nicht dazu verpflichten zu sagen, dass alle Probleme in NP selbstreduzierbar sind, aber es schien keine Beispiele für Probleme zu geben, die dies nicht sind. Ich habe mich...
Ich habe einige Probleme gesehen, die NP-hart, aber in fester Dimension polynomiell lösbar sind. Beispiele, denke ich, sind Knapsack, das polynomial lösbar ist, wenn die Anzahl der Elemente fest ist, und Integer Linear Programming mit fester Anzahl von Variablen oder Einschränkungen durch Lenstras....
Kennen wir eine unendliche Folge von Entscheidungsproblemen, bei denen der effizienteste Algorithmus für jedes Problem Zeit benötigt, wobei unbegrenzt zunimmt?Θ (nk)Θ(nk)\Theta(n^k)kkk Nehmen wir zum Beispiel an, wir würden wissen, dass das Finden einer k-Clique , dann könnte diese Sequenz...
Betrachten Sie das Problem, eine Eingabe-Turing-Maschine zu nehmen und festzustellen, ob die endgültige Zelle a ist 000 oder 111nach der Berechnung wird angehalten. In Fällen, in denen etwas anderes geschrieben wird oder nicht angehalten wird, dürfen Sie eine Antwort geben (aber Sie müssen anhalten...
Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei...
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert...
Ich entschuldige mich, wenn diese Frage schon einmal gestellt wurde, aber ich konnte kein Duplikat finden. Ich habe gerade The Annotated Turing gelesen und bin etwas verwirrt. Nach meinem Verständnis besteht das Entscheidungsproblem darin, ob ein Algorithmus existiert oder nicht, der bestimmen...
Ich weiß nicht, wie ich es elegant ausdrücken soll, aber im Grunde möchte ich einen Brute-Force-Suchalgorithmus implementieren, aber es gibt viele verschiedene Möglichkeiten, die ich durch den Suchraum aufzählen könnte. Das mag für mich naiv sein, aber ich stelle mir vor, dass die Art und Weise,...
Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern und...
Gibt es vorzugsweise offene CS-Probleme, die irgendwie mit Musik oder Musiktheorie zusammenhängen? Ich würde an ein Problem mit der Notenschrift denken, aber auch an Wahrscheinlichkeiten bei der Randomisierung nach einer Skala oder einer Tonalität oder allgemein, was als Harmonie in Frequenzen und...
Es ist bekannt, dass jede CNF-Formel in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden kann ( siehe hier ). Wenn die Verwendung neuer Variablen nicht zulässig ist, ist dies nicht immer möglich (nehmen Sie zum Beispiel die Einzelklauselformel:...