Computerwissenschaften

2

Klar, vollständig, Beweis dafür, dass eine Sprache Turing Compete ist?

Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug! Wo finde ich …

10 computability turing-machines automata turing-completeness church-turing-thesis

3

Welche Datenstruktur würde ganzzahlige Bereiche effizient speichern?

Ich muss eine Sammlung von Ganzzahlen im Bereich von 0 bis 65535 führen, damit ich schnell Folgendes tun kann: Fügen Sie eine neue Ganzzahl ein Fügen Sie eine Reihe zusammenhängender Ganzzahlen ein Entfernen Sie eine Ganzzahl Entfernen Sie alle Ganzzahlen unter einer Ganzzahl Testen Sie, ob eine Ganzzahl vorhanden ist …

10 data-structures efficiency search-trees integers

3

Wie können beim Testen von n Elementen alle t-Teilmengen durch möglichst wenige s-Teilmengen abgedeckt werden?

Dieses Problem ergab sich aus Softwaretests. Das Problem ist etwas schwer zu erklären. Ich werde zuerst ein Beispiel geben und dann versuchen, das Problem zu verallgemeinern. Es müssen 10 Elemente getestet werden, z. B. A bis J, und ein Testwerkzeug, mit dem 3 Elemente gleichzeitig getestet werden können. Die Reihenfolge …

10 algorithms combinatorics software-testing

2

Wie erzeugt man effizient alle Binärsequenzen mit einer gleichen Anzahl von Nullen und Einsen?

Eine binäre Folge der Länge nnn ist nur eine geordnete Folge x1,…,xnx1,…,xnx_1,\ldots,x_n so dass jedes xjxjx_j entweder 000 oder 111 . Um alle diese Binärsequenzen zu erzeugen, kann man die offensichtliche Binärbaumstruktur folgendermaßen verwenden: Die Wurzel ist "leer", aber jedes linke Kind entspricht der Addition von 000 zu der vorhandenen …

10 algorithms graphs binary-trees

1

Gibt es eine Möglichkeit zu testen, ob zwei NFAs dieselbe Sprache akzeptieren?

Oder generieren Sie zumindest eine Reihe von Zeichenfolgen, die eine NFA akzeptiert, damit ich sie in die andere NFA einspeisen kann. Wenn ich jeden Pfad der NFA durchsuche, funktioniert das dann? Obwohl das lange dauern wird.

10 algorithms regular-languages finite-automata

1

Eingeschränktes Optimierungsproblem in der Matrixentropie

Ich habe ein constrainted Optimierungsproblem in der (Shannon) -Matrix Entropie . Die Matrix A kann als die Summe der Rang-1-Matrizen der Form [ v i( s u m( E n t r ( e i g ( A ) ) ) )(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))}EINAA wobei v i ein gegebener normalisierter Vektor ist. …

10 optimization entropy

3

Nummernvergabe

Wenn Zahlen A_1 \ leq A_2 \ leq ... \ leq A_k gegeben sind, so dass \ sum \ limit_ {i = 1} ^ k A_i = k (2k + 1) ist, gibt es eine Zuordnung der Zahlen i_1, i_2, ..., i_ {2k} ist eine Permutation von 1, 2, ..., …

10 np-complete decision-problem

1

Formalismen bei gleichzeitiger und / oder verteilter Programmierung?

Mein Hintergrund stammte aus imperativen Sprachen, hauptsächlich C, C ++ und Python. Einige Jahre später habe ich Scala, Erlang und ein bisschen Haskell aufgegriffen und mich seitdem sehr für funktionale Programmierung und die dahinter stehenden Formalismen interessiert. Ich interessiere mich auch für gleichzeitige und verteilte Programmierung und habe mich mit …

10 distributed-systems concurrency

1

Kieselproblem

Pebbling ist ein Solitairespiel, das auf einem ungerichteten Graphen , wobei jeder Scheitelpunkt null oder mehr Kieselsteine aufweist. Eine einzelne Kieselbewegung besteht darin, zwei Kieselsteine von einem Scheitelpunkt v zu entfernen und einem beliebigen Nachbarn von v einen Kieselstein hinzuzufügen . (Offensichtlich muss der Scheitelpunkt v vor dem Verschieben mindestens …

10 algorithms graph-theory np-complete

2

Was macht Lambda-Kalkül für das Studium relevant?

Ich beginne im nächsten Herbst einen Bachelor-Informatikkurs, kann aber λ-Kalkül im Kontext der funktionalen Programmierung nicht wirklich verstehen. Ich kann dies völlig falsch interpretieren, aber basierend auf dieser Definition aus der Stanford Encyclopedia of Philosophy ist es nur eine weitere Notation für Funktionen. Wenn es nur so ist , warum …

10 programming-languages lambda-calculus

1

Bei einem Akkord-Diagramm , was die Komplexität der Berechnung der reduzierte Clique Graph ?

Ein Graph ist akkordisch, wenn er keine induzierten Zyklen mit einer Länge von oder mehr induziert hat . Ein Cliquenbaum von ist ein Baum, in dem die Eckpunkte des Baumes die maximalen Cliquen von . Eine Kante in entspricht einem minimalen Trennzeichen. Die Anzahl der verschiedenen Cliquenbäume kann in der …

10 algorithms graph-theory reference-request

3

Faire Aufteilung des zweidimensionalen Kuchens

Ich interessiere mich für Verfahren zur gerechten Aufteilung von Land (dh neidfreie Aufteilung oder zumindest proportionale Aufteilung). Im Gegensatz zu dem gut untersuchten Problem der Kuchenteilung ist die Landteilung zweidimensional, dh die Präferenzen der Benutzer können sowohl horizontal als auch vertikal variieren. Daher ist es nicht praktikabel, den Algorithmus auf …

10 reference-request game-theory

3

Erste Schritte mit der Programmanalyse

Ich suche nach Ressourcen für den Einstieg in die Programmanalyse . Das einzige Buch, das ich zu diesem Thema gefunden habe, ist das Nielson & Nielson- Buch. Davon abgesehen scheint es nur "Compiler" -Bücher zu geben, in denen "Programmanalyse" ein Kapitel oder etwas in dieser Richtung wäre. Kennen die Leute …

10 reference-request compilers semantics

2

Welcher Klassifikator ist für eine SVM-Klassifikation genauer?

Ich lerne die SVM-Klassifizierung und stoße auf ein Problem. Ich bin mir nicht sicher, ob dieses Dilemma eine Terminologie dafür hat. Angenommen, wir möchten Patienten anhand der Stichproben von gesunden Menschen (beiderlei Geschlechts) und Menschen mit Leberkrebs (beiderlei Geschlechts) nach SVM klassifizieren. Wenn wir gesunde Menschen als Klasse 1 und …

10 machine-learning

1

So verstehen Sie den SR Latch

Ich kann mich nicht darum kümmern, wie der SR Latch funktioniert. Scheinbar stecken Sie eine Eingangsleitung von R und eine andere von S, und Sie sollen Ergebnisse in und .QQQQ′Q′Q' Sowohl R als auch S erfordern jedoch eine Eingabe vom Ausgang des anderen, und der Ausgang des anderen erfordert eine …

10 circuits sequential-circuit