Computerwissenschaften

1

Folge von Problemen, die zur Erhöhung von ?

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 {1-Clique, 2-Clique, 3-Clique, ...} sein. Möglicherweise gibt es jedoch effizientere Algorithmen …

7 complexity-theory decision-problem polynomial-time

1

Probleme beim Verständnis der Definition einer Clique

Meine Definition sagt Eine Clique ist ein Diagramm mit einer Kante, die jedes Scheitelpunktpaar verbindet aber wie ich verstehe, verbindet eine Kante nur zwei Eckpunkte. MögenA - B.EIN- -B.A-B. Wenn wir drei Eckpunkte verbinden wollen, brauchen wir mindestens zwei Kanten. Zum Beispiel,A - B - C.EIN- -B.- -C.A-B-C. Ich verstehe …

7 graphs graph-theory clique

1

Verzweigen und binden für minimale lineare Anordnung

Ich versuche, dieses Problem zu lösen, aber ich konnte keine ungefähre Kostenfunktion finden, die besser ist als die Kosten. Angenommen, ist ein Graph von n Knoten \ {1, 2, 3, \ ldots, n \} . Für eine Permutation f des Knoten von G , das Gewicht jeder Kante (x, y) …

7 algorithms graph-theory optimization backtracking branch-and-bound

1

Referenzanforderung: Optimierung der Verfahren für Listen in dynamischen Sprachen durch vorherige Durchführung von Sicherheitsüberprüfungen

Für mein Science-Fair-Projekt habe ich eine Optimierung der Sortierroutine von Python implementiert . Die Idee ist, die Sicherheitsüberprüfungen, die bei jedem Vergleich durchgeführt werden müssen, z. B. Typprüfungen und Zeichenbreitenprüfungen, außerhalb der Sortierschleife zu verschieben und sie alle in einem Durchgang durchzuführen. Basierend auf den Ergebnissen der Prüfungen wird dann …

7 reference-request type-checking program-optimization interpreters

2

Voll funktionsfähige Programmiersprache ohne statische Typprüfung

Alle Papiere mit dem Thema der vollständigen Funktionsprogrammierung verwenden eine Art statische Typprüfung, um die Gesamtheit sicherzustellen. Dies ist sinnvoll, wenn man bedenkt, dass es leicht ist, eine Sprache Turing-vollständig zu machen. Die Frage ist: Gibt es einen untypisierten / dynamisch typisierten Formalismus, der Gesamtfunktionen sicherstellt? Bearbeiten Mit anderen Worten, …

7 functional-programming

2

Überprüfen Sie, ob das Hinzufügen einer Kante zu einer DAG zu einem Zyklus führt

Am Anfang: Es ist ein Programmierwettbewerbsproblem, aber kein laufendes. Leider kann ich keinen Link zu dieser Aufgabe bereitstellen, da sie nicht öffentlich verfügbar ist. Es war von einem der polnischen lokalen Programmierwettbewerbe im Jahr 2011, die von der Warschauer Schule für Informatik organisiert wurden. Ich habe ein Diagramm mit Eckpunkten …

7 algorithms graphs searching

1

Was ist der Zweck der Interpretation von Elementen im Beweis der Reduktion von PCP auf das Gültigkeitsentscheidbarkeitsproblem der Prädikatenlogik?

Da sich meine Frage direkt auf einen Teil des Textes aus einem Buch aus dem Jahr 2004 bezieht, Logik in der Informatik: Modellierung und Argumentation über Systeme (2. Auflage) von Michael Huth und Mark Ryan , um den Kontext für die folgende Diskussion bereitzustellen, bin ich teilweise das Buch wörtlich …

7 reductions logic proof-techniques undecidability

1

Bauzyklus im Rechteck

Ich muss einen Zyklus mit fester Länge , der genau Ecken innerhalb des Rechtecks x .nnnkkkwwwhhh Zum Beispiel: w = 5h = 3w=5h=3w = 5\\h=3 n = 12k = 6n=12k=6n = 12\\k = 6 Ich habe bereits herausgefunden, dass ich mindestens Ecken benötige und die Anzahl der Ecken und die …

7 algorithms graphs searching

1

Konsequenzen

Wir wissen, dass äquivalent sind und die auf die Ebene zusammenbricht.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Was sind die anderen nicht trivialen Zusammenbrüche und Konsequenzen?

7 complexity-theory complexity-classes

1

Bei 2 Sätzen von n Punkten: Minimieren Sie die Summe der zurückgelegten Entfernungen

Ich bekomme zwei Sätze S., T.S.,T.S, T jeder von nnn Punkte in R.kR.k\mathbb{R}^kIch möchte eine Bijektion finden a : S.→ T.ein::S.→T.a : S \rightarrow T, so dass ∑s∈Sd(s,a(s))∑s∈Sd(s,a(s))\sum_{s \in S} d(s, a(s)) wird minimiert, mit ddd die euklidische Distanz sein. Ich bin mir bewusst, dass dieses Transportproblem ein Sonderfall des …

7 algorithms optimization computational-geometry linear-programming bipartite-matching

2

Können wir es besser machen als

Ich bin (dummerweise stellt sich heraus) zuversichtlich, dass die Antwort auf diese Frage nein ist. Warum frage ich? Weil Dr. Aleksandar Prokopec an der EPFL in seinem parallelen Programmierkurs eine Datenstruktur vorstellt, für die er verschiedene Eigenschaften behauptet. Wenn diese Eigenschaften gelten, scheint es mir möglich zu sein, einen ausgeglichenen …

7 complexity-theory algorithm-analysis data-structures time-complexity search-trees

1

Transitive Reduktion der Rechteck-Containment-Hierarchie DAG

Ich suche nach einem -Algorithmus zum Finden der transitiven Reduktion einer Rechteck-Containment-Hierarchie DAG, dh eine gerichtete Kante existiert von einem Rechteck zum anderen, wenn das erste Rechteck das zweite enthält.O(|V|+|E|)O(|V|+|E|)O(|V| + |E|) Das heißt, entfernen Sie so viele Kanten wie möglich, damit Sie nach dem Entfernen der Kanten immer noch …

7 algorithms graphs dag

1

Wann ist es sinnvoll, kritische Kanten zu teilen?

Einige Compiler verfügen über Dienstprogrammfunktionen, die kritische Kanten im Kontrollflussdiagramm aufteilen. Ich gehe davon aus, dass dies nicht als Optimierung an sich erfolgt, sondern um andere Analysen und Transformationen zu vereinfachen. In welchen Fällen wäre das Teilen kritischer Kanten sinnvoll?

7 compilers program-optimization data-flow-analysis

2

Ist semantische Bewahrung Solidität (oder Korrektheit) oder Vollständigkeit

Bei der Transformation von Begriffen von einer Sprache in eine andere ist die intuitiv gewünschte Eigenschaft die Beibehaltung der Semantik (wie sie beispielsweise hier für eine CPS-Transformation verwendet wird): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Ich bin jedoch ein wenig beunruhigt, wenn ich dies mit den klassischen Begriffen …

7 terminology logic compilers semantics

1

Warum werden TSP-Löser benötigt, wenn es SAT-Löser gibt?

Concorde TSP ist ein Löser für TSP. SAT-Löser sind Löser für die boolesche Erfüllbarkeit. TSP und SAT sind NP-vollständig. Warum also die Zeit damit verbringen, Concorde TSP zu entwickeln, wenn es damals eine Fülle von SAT-Lösern auf dem Markt gibt?

7 np-complete satisfiability p-vs-np traveling-salesman sat-solvers