Theoretische Informatik

1

Systematische Untersuchungen der Summe der quadratischen Polynome im Quadrat

Ich frage mich, ob es systematische Studien zu Summen quadratischer Formen im Quadrat gibt, ähnlich den quadratischen Formen, die sich praktisch in der Eigenwertzerlegung widerspiegeln (was enorme praktische Auswirkungen hat). Einige Beispiele bezogen sich auf die Bedeutung der Frage. Hauptkomponentenanalysen (PCA) . Wenn eine Menge von Punkten die Menge von …

9 ds.algorithms polynomials semidefinite-programming

2

Erwartete Werte der Kolmogorov-Komplexität in einer Zufallsstichprobe

Die Kolmogorov-Komplexität eines Strings ist nicht berechenbar. Wie wird jedoch erwartet, dass in einer zufälligen Teilmenge der Größe von binären Zeichenfolgen der Länge die Komplexität geringer ist als eine ganze Zahl kleiner als (als Funktion von , und )?n n 0 n M n n 0M.MMnnnn0n0n_{0}nnnM.MMnnnn0n0n_{0}

9 cc.complexity-theory kolmogorov-complexity

1

Welche Rolle spielt die zweifarbige Konstruktionsrechnung?

Ich lese also ein wenig über die Ausarbeitung, insbesondere über Algorithmen, die auf der zweifarbigen Konstruktionsrechnung basieren, und bin etwas verwirrt. Ich verstehe nicht, was genau der Zweck des ist. Es scheint mit C C identisch zu sein, außer dass zwischen impliziten und expliziten Argumenten für Funktionen unterschieden wird. Insbesondere …

9 type-theory lambda-calculus type-inference dependent-type

2

Die durchschnittliche Anzahl der jährlichen Veröffentlichungen für CS-Postdocs

Wie viele Veröffentlichungen (einschließlich Konferenzberichte) werden pro Jahr von CS-Postdoktoranden in den USA durchschnittlich veröffentlicht? Wie kann man diese Zahl herausfinden oder schätzen?

9 soft-question advice-request research-practice career

3

Alle Zyklen finden

Ich habe eine endliche Menge , eine Funktion und insgesamt um auf . Ich möchte die Anzahl der verschiedenen Zyklen in .S.S.Sf: S.→ S.f::S.→S.f:S\to S<<<S.S.SS.S.S Für ein gegebenes Element Ich kann Floyd-Algorithmus (oder Brent, etc.) verwenden , um die Länge des Zyklus zu finden , dass die wiederholte Anwendung von …

9 graph-theory graph-algorithms

2

Ausgangspunkt für Cache-ahnungslose Algorithmen?

Ich bin daran interessiert, mehr über Cache-vergessene Algorithmen und Datenstrukturen zu erfahren, aber es gibt so viele Artikel, dass ich ehrlich gesagt nicht weiß, wo ich anfangen soll. Ich habe Prokups ursprüngliche These zu diesem Thema gefunden, was ein guter Ausgangspunkt zu sein scheint, aber wenn es eine einfache und …

9 ds.algorithms reference-request cache-oblivious

2

Effiziente Algorithmen zum Durchsuchen einer Baumsammlung

Ich habe einen großen Datensatz von Bäumen und möchte ihn durch Angabe eines Baumes (verbundener Untergraph) durchsuchen . Die Abfrage sollte alle Vorkommen des Baumes im Datensatz zurückgeben. Gibt es dafür effiziente Algorithmen? Ich dachte an so etwas wie Suffix-Arrays, aber die naive Codierung der Bäume als Zeichenfolgen (durch eine …

9 graph-algorithms ds.data-structures tree graph-isomorphism string-search

2

Sind ein paar hundert Reduktionsschritte zu viele, um die normale Form von Y fac ⌜3⌝ zu erhalten?

Da ich in letzter Zeit die Grundlagen des λ-Kalküls unterrichtet habe, habe ich in Common Lisp einen einfachen λ-Kalkül-Evaluator implementiert. Wenn ich nach der normalen Form der Y fac 3Reduktion in normaler Reihenfolge frage , dauert es 619 Schritte, was ein bisschen viel zu sein schien. Natürlich habe ich jedes …

9 lo.logic lambda-calculus

2

Chomsky-Normalformmethode: Auswirkungen auf die Leistung des CYK-Parsers?

Diagrammparser können basierend auf der Chomsky-Normalform oder direkt basierend auf Produktionsregeln implementiert werden. Nehmen wir für den Moment an, wir haben einen CYK-Diagrammparser, der die Chomsky-Normalform verwendet. Die Binarisierung ist nicht eindeutig definiert. Beeinträchtigt dies die Leistung der CYK-Diagrammanalyse? Kann dies genutzt werden, um die Leistung eines CYK-Diagrammparsers zu verbessern?

9 fl.formal-languages parsing

2

Kann ich die Kardinalität eines Sets begrenzen, wenn bekannt ist, dass die Prüfung auf Mitgliedschaft NP-vollständig ist?

Ich möchte eine Grenze für die Kardinalität des Satzes von Einheitsscheibendiagrammen mit Eckpunkten haben. Es ist bekannt, dass die Überprüfung, ob ein Graph Mitglied dieser Menge ist, NP-schwer ist. Führt dies zu einer Untergrenze der Kardinalität unter der Annahme von P NP?NNN≠≠\neq Angenommen, es gibt eine Reihenfolge für alle Diagramme …

9 cc.complexity-theory graph-theory

3

Wie viele Wörter der Länge

EDITIERT ZUM HINZUFÜGEN : Diese Frage ist jetzt im Wesentlichen beantwortet; Weitere Informationen finden Sie in diesem Blogeintrag . Vielen Dank an alle, die hier Kommentare und Antworten gepostet haben. URSPRÜNGLICHE FRAGE Dies ist eine hoffentlich intelligentere und besser informierte Version einer Frage, die ich in MathOverflow gestellt habe. Als …

9 co.combinatorics

1

Standortproblem der euklidischen kapazitiven Einrichtung

In der Capacitated Facility Location (CFLP) werden wir eine Reihe von Kunden gegeben und eine Reihe von möglichen Einrichtungen . Jeder Client hat eine Anforderung , die von einer oder mehreren offenen Einrichtungen bedient werden muss. Jede Einrichtung hat Öffnungskosten und eine Kapazität , was der maximalen Nachfrage entspricht, die …

9 ds.algorithms cg.comp-geom approximation-algorithms

2

Kürzeste Wege, die jede Kante verbieten

Ich würde mich über Hinweise oder Begriffe freuen, die mich in die richtige Richtung führen könnten. Wir haben einen gerichteten Graphen und Längen l i j für jede Kante i j , die als positiv angenommen werden können. Es gibt einen speziellen Startknoten s und einen speziellen Endknoten t .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt …

9 ds.algorithms reference-request graph-algorithms

1

Permanent einer

Sei AAA eine 3 × 33×33 \times 3 oder eine 4 × 44×44 \times 4 Matrix mit Einträgen eini jaija_{ij} . Kann mir jemand eine Matrix B.BB so dass pro( A ) = det ( B )per⁡(A)=det(B)\operatorname{per}(A) = \det(B) ? Was ist das kleinste explizite B.BB , das bekannt ist, …

9 cc.complexity-theory algebraic-complexity permanent

1

Welche Rolle spielt die Verifizierung bei der Quantenabtastung, Simulation und beim ECT-Test (Extended Church-Turing)?

Da keine Antwort gegeben wurde, wurde ein Flag gesetzt, das die Konvertierung dieser Frage in ein Community-Wiki anfordert. Die Kommentare von Aaron Sterling, Sasho Nikolov und Vor wurden in der folgenden Entschließung zusammengefasst, die für Community-Wiki-Diskussionen offen ist: Behoben: In Bezug auf klassische Algorithmen, die Zahlen, Stichproben oder Simulationstrajektorien ausgeben, …

9 quantum-computing program-verification sample-complexity