Computerwissenschaften

1

Warum ist der KD-Baum-basierte Nearest Neighbor Exponential in K exponentiell?

Ich habe in vielen Artikeln über die Suche nach höherdimensionalen nächsten Nachbarn gelesen, dass KD-Bäume in K exponentiell sind, aber ich kann anscheinend nicht feststellen, warum. Was ich suche, ist eine solide Analyse der Laufzeitkomplexität, die diesen Aspekt des Problems erklärt.

8 algorithm-analysis data-structures search-trees nearest-neighbour search

3

Was ist der Zweck des SKI-Kombinator-Kalküls (oder sogar des Lambda-Kalküls)? Was sind einige Beispiele aus der Praxis?

Ich verstehe, was es ist, aber ich sehe nicht, wie es für Algorithmen oder irgendetwas nützlich ist. Vielleicht fehlt mir etwas. Ich brauche jemanden, der mir ein Beispiel gibt, wie es verwendet werden kann, damit ich es besser verstehen kann.

8 algorithms lambda-calculus combinatory-logic

1

Minimale Basis für den Satz von Binärvektoren unter Verwendung von XOR

Ich wäre überrascht, wenn dies kein gut untersuchtes Problem wäre, aber ich bin mir nicht sicher, wonach ich an dieser Stelle noch suchen soll: Sie erhalten eine Menge binärer Vektoren . Das Problem besteht darin, eine andere Menge von binären Vektoren mit minimaler Größe, so dass jeder Vektor in durch …

8 complexity-theory arithmetic matrices linear-algebra

3

Ist das Testen der Polynomidentität über arithmetische * Ausdrücke * nicht trivial?

Das Testen der Polynomidentität ist das Standardbeispiel für ein Problem, von dem bekannt ist, dass es in Co-RP, aber nicht in P vorliegt . Über arithmetische Schaltungen scheint es in der Tat schwierig zu sein, da der Grad des Polynoms durch wiederholtes Quadrieren exponentiell groß gemacht werden kann. Diese Frage …

8 randomized-algorithms polynomial-time circuits

1

Probleme, deren Entscheidbarkeitsstatus unbekannt ist, von denen jedoch bekannt ist, dass sie weniger schwierig sind als das Stoppproblem

Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das Stoppproblem.

8 computability reference-request undecidability

3

Beziehung zwischen Algorithmuskomplexität und Automatenklasse

Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es zum Beispiel eine Reihe von Komplexität, die …

8 complexity-theory automata reference-request complexity-classes

5

Können wir eine nicht reguläre Sprache durch Konzentration regulieren?

Meine Frage besteht im Wesentlichen aus drei Sprachen A, B und L, wobei L A und B miteinander verkettet sind und B nachweislich nicht regulär ist. Ist es möglich, ein A zu finden, das L regulär macht?

8 formal-languages regular-languages

1

Was ist die Laufzeit dieses rekursiven Algorithmus?

Ich habe das folgende (ungolfed) Haskell-Programm für die Code-Golf- Herausforderung erstellt, bei der die ersten Werte von A229037 berechnet wurden .nnn Dies ist meine vorgeschlagene Lösung zur Berechnung des ten Wertes:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = …

8 algorithm-analysis runtime-analysis recurrence-relation recursion

1

Big-O-Beweis für eine Wiederholungsbeziehung?

Diese Frage ist ziemlich spezifisch in der Art der Schritte, die zur Lösung des Problems unternommen werden. Gegeben beweisen, dass T ( n ) = O ( n 2 ) .T.( n ) = 2 T.( 2 n / 3 ) + O ( n )T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T.( n ) = O …

8 asymptotics recurrence-relation

2

Gibt es einen effizienten Algorithmus zum Testen der Primalität für Zahlen der Form

Ich habe CLRS gelesen und es wollte zeigen, dass wenn eine Primzahl der Form und ein quadratischer Rest ist, eine Quadratwurzel ist (man kann auch leicht zeigen, dass ist eine Quadratwurzel).pppa a k + 1 a - k4k+34k+34k+3aaaak+1ak+1a^{k+1}a−ka−ka^{-k} Ich habe mich gefragt, ob unter Verwendung der vorherigen Tatsache und auch, …

8 algorithms algorithm-analysis randomized-algorithms number-theory

1

Algorithmus für das Präfixparitätsproblem

Das Präfixparitätsproblem kann wie folgt definiert werden. Sie erhalten eine Zeichenfolge der Länge und anfangs ist jedes Zeichen . Anschließend möchten Sie eine Datenstruktur erstellen, die Aktualisierungen wie die folgenden unterstützt.n 0SSSnnn000 Für eine gegebene iii ändere ich S[i]S[i]S[i] entweder auf 000 oder 111 für eine gegebene finde iii die …

8 algorithms algorithm-analysis search-algorithms lower-bounds

1

Welche NP-Entscheidungsprobleme sind nicht selbstreduzierbar?

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 gefragt, ob es Beispiele gibt …

8 complexity-theory reductions decision-problem np

4

Wenn

Wir haben zwei Sprachen: L1,L2L1,L2L_1,L_2 . Wir wissen, dass L1L2L1L2L_1L_2 eine reguläre Sprache ist. Meine Frage ist also, ob L2L1L2L1L_2L_1 eine reguläre Sprache ist. Ich versuche einen Weg zu finden, es zu beweisen ... Ich kann natürlich nicht davon ausgehen, dass L1,L2L1,L2L_1,L_2 regulär sind ... Also suche ich nach einem …

8 formal-languages regular-languages closure-properties

1

Was sind bei gegebener berechenbarer Funktion die Bedingungen für die Berechenbarkeit der inversen Funktion?

Wenn berechenbar ist und eine Umkehrung hat, unter welchen Bedingungen ist auch berechenbar? Ich konnte das in einem Lehrbuch nicht finden, und beim Googeln werden einige vage Vorschläge zum Bijektiv gemacht, aber ich konnte keinen klar formulierten Satz zu diesem Zweck finden. Nebenbei scheint das Bijektiv ausreichend, aber nicht notwendig …

8 computability

2

Was ist das Curry-Howard-Analogon für lineare Logik?

Wie von Wikipedia definiert, (Die Curry-Howard-Korrespondenz) ist eine Verallgemeinerung einer syntaktischen Analogie zwischen formalen Logiksystemen und Rechenkalkülen, die erstmals vom amerikanischen Mathematiker Haskell Curry und dem Logiker William Alvin Howard entdeckt wurde. Damit verbunden ist der λ-Würfel, eine grafische Darstellung der möglichen Verfeinerungsachsen von einfachen Typen bis zur Konstruktionsrechnung, die …

8 logic type-theory functional-programming