Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Effizientes Berechnen oder Approximieren der VC-Dimension eines neuronalen Netzwerks
Mein Ziel ist es, das folgende Problem zu lösen, das ich durch seine Eingabe und Ausgabe beschrieben habe: Eingang: Ein gerichteter azyklischer Graph mit Knoten, Quellen und Senke ( ).GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Ausgabe: Die VC-Dimension (oder eine Annäherung davon) für das neuronale Netzwerk mit …
5
Fixpunkt, was bedeutet das in der Welt der Informatik?
Ich stoße bei stackexchange immer wieder auf Verweise auf feste Punkte in Fragen und Antworten, und ich schaue im Web nach, was es bedeutet, Verweise auf Websites wie Wikipedia zu finden. Keine der Referenzen beantwortet jedoch wirklich meine Frage, was ein Fixpunkt ist und was er in der Welt der …
2
Was ist diese fraktionsähnliche „diskrete Mathematik“ -Notation, die für formale Regeln verwendet wird?
In dem Artikel "Ein konfliktfrei replizierter JSON-Datentyp" stieß ich auf die folgende Notation, um "Regeln" formal zu definieren: Wie heißt diese Notation? Wie lese ich es? Beispielsweise: Die DOCRegel hat nichts im "Zähler" - warum nicht? Die Regeln EXECund GETscheinen zwei getrennte Ausdrücke über der Linie zu haben. Was bedeutet …
4
Warum sind gerichtete Graphen wichtig?
Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten, und erläutern Sie, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Wir haben über Algorithmen für MST, starke Konnektivität, Routing usw. in gerichteten Diagrammen gelesen. In letzter Zeit wurde auch …
5
Ist es möglich, das Problem des Anhaltens zu lösen, wenn Sie eine eingeschränkte oder vorhersehbare Eingabe haben?
Das Halteproblem kann im allgemeinen Fall nicht gelöst werden. Es ist möglich, definierte Regeln zu entwickeln, die zulässige Eingaben einschränken, und kann das Problem des Anhaltens für diesen speziellen Fall gelöst werden? Zum Beispiel ist es wahrscheinlich, dass eine Sprache, die beispielsweise keine Schleifen zulässt, sehr leicht zu erkennen ist, …
1
Kann eine berechenbare Funktion zu einer nicht berechenbaren Zahl konvergieren?
Existiert eine berechenbare Funktion so dass:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Für alle t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Wobei eine nicht berechenbare reelle Zahl ist.XXX Der einzige Hinweis auf diese Frage, den ich gefunden habe, war die Antwort auf diese Frage : /math//a/1052579/168764 , wo die Funktion zu gelten scheint, …
2
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine?
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche Ideen?
1
Warum arbeiten alle neueren SAT-Solver mit CNF anstelle von Circuit SAT?
Nach der Veröffentlichung der AIGER-Bibliothek, um irgendwann im Jahr 2006 Graphen zu verarbeiten und umzuwandeln (glaube ich), wurden 2006-2008 einige Schaltkreis-SAT-Solver veröffentlicht, und in einigen SAT-Rennen / Wettbewerben gab es AIG-Strecken. Es scheint jedoch, dass der Fokus seitdem ausschließlich auf SMT oder der Verbesserung von klausalen SAT-Lösern liegt. Intuitiv erscheint …
1
Reguläre Ausdrücke mit Rückverweisen auf unäre Alphabete
Rahmen: reguläre Ausdrücke mit Rückverweisen unäre Sprache (1-Symbol-Alphabet) Kann das folgende Problem in dieser Einstellung behoben werden: Definiert ein regulärer Ausdruck mit Rückverweisen eine reguläre Sprache? Definiert beispielsweise (aa+)\1eine reguläre Sprache, während (aa+)\1+dies nicht der Fall ist. Können wir uns entscheiden, was der Fall ist? Der Vollständigkeit halber beziehen sich …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.