Kalais 2-seitiges SODA-Papier bietet einen einfachen und effizienten Algorithmus für den Mustervergleich mit egal (Platzhalter, die einem Zeichen entsprechen). Im Wesentlichen ist es so einfach wie Faltung. Aber was passiert, wenn wir nach mehreren Mustern suchen , ohne sich darum zu kümmern?...
Let eine Sprache sein, und definiert f L : A * × A * → { 0 , 1 } von F L ( x , y ) = 1 genau dann , wenn x ⋅ y ∈ L . Ich suche eine Referenz für:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Vorschlag....
Betrachten wir für eine feste Sprache in einem Alphabet A das folgende Problem, das ich L- INTERLEAVING nenne :LL.LAEINALLL Eingabe: zwei Wörter u,v∈A∗u,v∈A∗u, v \in A^* Output: ob eine existiert Verschachtelung von und v , die in ist L .uuuvvvLLL Hier ist eine Verschachtelung von zwei Wörtern und...
Gibt es einen Rahmen / Formalismus, der Rechenmodelle definiert, die auf anderen Proteinen als Adlemans DNA-Modell oder dieser Arbeit von Cherry und Qian basieren
In Martin-Löfs Eine intuitionistische Theorie der Typen: Prädikativer Teil wird bewiesen, dass die Typprüfung unter dem Vorbehalt Typisierbarkeit entscheidend ist , indem ein Normalisierungssatz für geschlossene typisierbare Begriffe bewiesen wird. Andererseits habe ich an mehreren Stellen...
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT...
In [1] haben Garey et al. Identifizieren Sie das, was später als das Problem der Summe der Quadratwurzeln bekannt wird, während Sie die NP-Vollständigkeit des euklidischen TSP erarbeiten. Bestimmen Sie bei gegebenen ganzen Zahlen ein1, ein2, … , A.na1,a2,…,ana_1, a_2, \ldots, a_n und L.LL , ob...
Bei der Einführung der modularen Zerlegung von Graphen verwenden die meisten Autoren den 11-Vertex-Graphen, den ich aus Wikipedia kopiere. Die Frage ist, wer der ursprüngliche Designer davon ist (sind). (Ich frage nicht, wer diese Grafik für Wikipedia gezeichnet hat, sondern die ursprüngliche...
Ich habe angefangen, Inzidenzstrukturen und kombinatorische Designs zu untersuchen (mögliche Motivation: einige Strukturen in der verallgemeinerten Selbstorganisation nach oben zu begrenzen), und der Wikipedia-Artikel gibt die folgende interessante, aber ungeklärte Aussage ab: Blockdesigns haben...
Ein Verweis auf Techniken zum Nachweis, dass die Größe einer Integritätslücke durch einen Ausdruck für eine bestimmte LP (oder SDP, aber weniger wichtig) begrenzt ist, ist erforderlich. Es wäre auch schön, einen Verweis auf einen Ort zu haben, an dem Techniken zur Minimierung von Integritätslücken...
Könnten Sie einen Umfrageartikel oder ein Lehrbuchkapitel empfehlen, in dem die Theorie der rekursiven Funktionen vorgestellt wird? Vielen
Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung. Wenn ich zwei Klauseln des Formulars habe: B:-A C:-A Ich kann diese umwandeln in: B,C:-A ( Bearbeiten: Wo B,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es...
Gibt es eine Datenbank mit bekannten Problemen mit Informationen zu deren Komplexität und Algorithmen, verwandten Problemen, Referenzen usw., die uns zur Verfügung steht? [Wenn nicht, können wir eins machen? Ich weiß, dass dies kein Thema ist, aber es wäre SO
Ich stelle mir vor, dass dies eine einführende Frage zur rechnergestützten Geometrie sein muss, bin mir aber nicht sicher, welche Suchphrasen am besten geeignet sind, und ich interessiere mich auch für Variationen der Frage. Ich hoffe daher auf Hinweise auf nützliche Referenzen. Ich interessiere...
Ich suche eine Referenz für die (klassische) einseitig randomisierte Kommunikationskomplexität der Disjunktheit, wenn das Universum groß sein kann. Angenommen, Alice und Bob haben beide Mengen der Größe mmm aus einem Universum der Größe UUU und Bob möchte feststellen, ob der Schnittpunkt ihrer...
Die VC-Dimension ist ein Maß für die Komplexität von Funktionsklassen , die eng mit der Komplexität der Stichprobe verknüpft ist. Fat Shattering Dimension ist eine Verallgemeinerung, die für Domänen mit höherer Ordnung geeignet ist: dh . Gibt es eine Standardverallgemeinerung der VC-Dimension, die...
Das folgende Lemma ist nicht schwer zu beweisen. Lemma : Sei c1≠ c2& Ne; ⋯ & ne; cr∈ [ n ]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] und . Wenn ganze Zahlen sind (einige von ihnen können negativ sein), so dass , dann ganze Zahlen befriedigend , so dass . Hier Mittel für einige...
Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies
Ich suche nach Arbeiten an Systemen, die den Sequenzen höherer Ordnung von K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ) ähnlich sind . Die einzige mir bekannte Arbeit ist die jüngste Arbeit von Iemhoff und Metcalfe ("Beweistheorie für zulässige Regeln", Annals of Pure and Applied Logic 159...
Wir erhalten Stapel, die "Gegenstände" unterschiedlicher Farbe enthalten, und eine Maschine, die mehrere Gegenstände derselben Farbe auf einmal verarbeiten kann. Bei jedem Schritt können wir einen Gegenstand von der Oberseite jedes Stapels entfernen und in unsere Maschine legen (so effektiv kann...