Computerwissenschaften

2

Finden Sie den Mittelpunkt in einer metrischen Raumpunktmenge in weniger als

Ich habe eine Menge von Punkten, die in einem metrischen Raum definiert sind - so kann ich einen 'Abstand' zwischen Punkten messen, aber sonst nichts. Ich möchte den zentralsten Punkt innerhalb dieser Menge finden, den ich als den Punkt mit der minimalen Summe der Abstände zu allen anderen Punkten definiere. …

9 complexity-theory computational-geometry lower-bounds search-problem

1

Konfliktgesteuerte Klausel Lernen der Klärung von Backtracking

Auf der Wikipedia-Seite hier wird der CDCL-Algorithmus ziemlich gut beschrieben (und es scheint, dass die Bilder von Folien stammen, die von Sharad Malik in Princeton erstellt wurden). Bei der Beschreibung des Zurückverfolgens heißt es jedoch nur "zum richtigen Punkt". MiniSAT verwendet auch eine Variante des CDCL-Algorithmus, daher habe ich dieses …

9 machine-learning satisfiability sat-solvers backtracking

1

Welche Beziehung besteht zwischen Turing-Maschinen mit einem endlichen Band und endlichen Zustandsautomaten?

Ich erinnere mich an eine Grundschulklasse, dass es für eine Turing-Maschine mit einem endlichen Band immer entsprechende Automaten für den endlichen Zustand gibt, aber ich konnte dies nirgendwo im Internet bestätigen. Ist das tatsächlich der Fall oder erinnere ich mich falsch?

9 turing-machines finite-automata

2

Regelmäßigkeit von unären Sprachen mit Wortlängen die Summe von zwei resp. drei Quadrate

Ich denke an unäre Sprachen , wobei aus allen Wörtern besteht, deren Länge die Summe von Quadraten ist. Formal: Es ist leicht zu zeigen, dass nicht regulär ist (z. B. mit Pumping-Lemma). Ferner wissen wir, dass jede natürliche Zahl die Summe von vier Quadraten ist, was impliziert, dass für alle …

9 formal-languages regular-languages

1

Schwerster planarer Teilgraph

Betrachten Sie das folgende Problem. Gegeben: Ein vollständiges Diagramm mit echten nicht negativen Gewichten an den Kanten. Aufgabe: Finden Sie einen planaren Teilgraphen mit maximalem Gewicht. ("Maximum" unter allen möglichen planaren Teilgraphen.) Hinweis: Der Subgraph mit maximaler Gewichtung ist eine Triangulation. Wenn sich der vollständige Graph auf Eckpunkten befindet, hat …

9 algorithms graph-theory optimization combinatorics

2

Ist eine ganzzahlige Sortierung in O (n) im transdichotomen Modell möglich?

Meines Wissens gibt es keinen Worst-Case-Algorithmus, der das folgende Problem löst:O ( n )O(n)O(n) Finden Sie bei einer Folge der Länge die aus endlichen ganzen Zahlen besteht, die Permutation, bei der jedes Element kleiner oder gleich seinem Nachfolger ist.nnn Aber gibt es einen Beweis dafür, dass es im transdichotomen Rechenmodell …

9 complexity-theory sorting computation-models lower-bounds

4

Warum heißt binäre Suche binäre Suche?

Ich habe mehrere mögliche Erklärungen gehört, daher hätte ich gerne eine vertrauenswürdige Referenz. Update 05.19: Ich bin an der Frage interessiert, weil einer meiner Studenten in seiner Diplomarbeit geschrieben hat, dass der Name aus der folgenden Erklärung stammt (1). Bis jetzt habe ich gedacht / gehört, dass es aus der …

9 terminology reference-request history

2

Was sind Markov-Ketten?

Ich lese gerade einige Artikel über Markov-Kettenklumpen und sehe keinen Unterschied zwischen einer Markov-Kette und einem einfach gerichteten gewichteten Graphen. Zum Beispiel bieten sie im Artikel Optimale Zustandsraum-Klumpenbildung in Markov-Ketten die folgende Definition einer CTMC (zeitkontinuierliche Markov-Kette): Wir betrachten eine endliche CTMC mit dem Zustandsraum durch eine Übergangsratenmatrix .S = …

9 probability-theory weighted-graphs mathematical-foundations markov-chains

2

Gibt es eine klare Definition von „berechenbar“ für Berechnungsmodelle, die nicht vollständig sind?

Dies ist ein Follow-up von einer anderen Frage hier , und ich hoffe , dass es nicht zu philosophisch ist. Wie Raphael in einem Kommentar zu meiner vorherigen Frage betonte, verstehe ich die Definition von "berechenbar" nicht wirklich, aber nach einigen von mir gelesenen Artikeln ist die Definition auch nicht …

9 computability computation-models

1

Was ist ein nicht erfundenes Beispiel für eine zu konservative statische Typprüfung?

In Concepts in Programming Languages schreibt John Mitchell, dass die statische Typprüfung aufgrund des Halteproblems notwendigerweise konservativ (zu streng) ist. Er gibt als Beispiel: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Kann jemand eine nicht erfundene Antwort geben, die wirklich ein praktisches Anliegen wäre? Ich verstehe, dass Java dynamisch überprüfte Casts …

9 programming-languages compilers type-checking

2

Konstruktive Standarddefinitionen von ganzen Zahlen, Rationalen und Realen?

Natürliche Zahlen werden induktiv definiert als (am Beispiel der Coq-Syntax) Inductive nat: Set := | O: nat | S: nat -> nat. Gibt es eine Standardmethode, um Ganzzahlen (und möglicherweise andere Mengen wie Rationals und Reals) konstruktiv zu definieren?

9 arithmetic dependent-types coq

1

Wann ist ein regulärer Ausdruck kein regulärer Ausdruck?

Da ich für meinen formalen Sprachkurs studiere, bin ich auf diese faszinierenden Beiträge ( One Two ) gestoßen, in denen beschrieben wird, wie man mit einem regulären Ausdruck eine Primzahl findet . Wie gesagt, ein regexp , kein regulärer Ausdruck . Da ein regulärer Ausdruck Strings entspricht durch eine Finite …

9 regular-expressions

4

Kann die Eindeutigkeit von Elementen in deterministischer linearer Zeit gelöst werden?

Betrachten Sie das folgende Problem: Eingabe : Listet von ganzen Zahlen aufX., Y.X,YX,Y Ziel : Bestimmen Sie, ob in beiden Listen eine Ganzzahl ist.xxx Angenommen, beide Listen die Größe n . Gibt es für dieses Problem einen deterministischen linearen Zeitalgorithmus? Mit anderen Worten, können Sie dieses Problem in O ( …

9 algorithms complexity-theory lower-bounds

4

So schnell wie möglich die zwei größten von fünf kleinen ganzen Zahlen finden

Ich verwende eine Variation eines 5-Kreuz-Medianfilters für Bilddaten auf einem kleinen eingebetteten System, d. H. x x x x x Der Algorithmus ist wirklich einfach: Lesen Sie 5 vorzeichenlose Ganzzahlwerte, erhalten Sie die höchsten 2, führen Sie einige Berechnungen durch und schreiben Sie das vorzeichenlose Ganzzahlergebnis zurück. Das Schöne ist, …

9 algorithms efficiency selection-problem

2

Erklären von SAT für Lehrer der Naturwissenschaften

Ich bin ein Gymnasiast, der sich für Informatik interessiert. Ich habe einen coolen Algorithmus für #SAT entwickelt und implementiere und mache ein wissenschaftlich faires Projekt darauf. Meine Beraterin, die die beste Lehrerin für Naturwissenschaften an meiner Schule und auch die Lehrerin für AP Comp Sci ist, sagte mir, dass sie …

9 algorithms satisfiability