Computerwissenschaften

3

Wann sind Binärbäume in realen Anwendungen besser als Hashtabellen?

Ich arbeite derzeit an meinen Datenstrukturen und grundlegenden Algorithmen, ein Teil davon ist der Binärbaum. Ich verstehe die Algorithmen und wie man einen binären Suchbaum und so implementiert. Ich mache es so schlau, dass wir in O (log n) Zeit nachschlagen können. Es fällt mir jedoch schwer, ein Beispiel dafür …

7 data-structures trees binary-trees applied-theory

1

Kann coq seine eigene Metatheorie ausdrücken?

Ich lerne etwas über Sprachmetatheorie und Typensysteme und verwende coq , um mein Studium zu formalisieren. Eines der Dinge, die ich tun möchte, ist die Untersuchung von Typsystemen, die abhängige Typen enthalten , was meines Wissens sehr kompliziert ist: Es wäre von unschätzbarem Wert, sich auf coq verlassen zu können. …

7 type-theory dependent-types coq

2

Gibt es Möglichkeiten, automatisch (keine menschlichen Tests) zu messen? A.

Daher weisen die meisten Ressourcen, die Sudoku-Rätsel bereitstellen, jedem Rätsel eine Schwierigkeitsstufe zu, selbst einige, die ich mit 15 oder mehr Schwierigkeitsstufen gesehen habe. Aber wie lassen sich diese Schwierigkeitsgrade gut zuordnen? Wenn genügend menschliche Rätsellöser verwendet würden, könnten die durchschnittliche Zeit, die ein Mensch benötigt, um ein Rätsel zu …

7 algorithms machine-learning board-games sudoku

1

Warum ist ein Programm mit nur Atomics in SC-DRF, aber nicht in HRF-direkt?

In der Arbeit "Heterogen-Race-Free Memory Models" [1] geben die Autoren an, dass ein Programm, das nur aus Atomic besteht, in SC-DRF rassenfrei ist, aber nicht in HRF-direct. Ich kann nicht verstehen, warum das so ist. Kann jemand erklären, wie das passieren kann? [1] Derek R. Hower et al. , "Heterogene, …

7 concurrency

2

Ratespiel

Ich habe diese Frage gelöst . Es ist wie folgt Joe wählt eine ganze Zahl aus der Liste 1,2,⋯,N1,2,⋯,N1,2,\cdots,N mit einer Wahrscheinlichkeit pipip_i zu pflücken iii für alle 1≤i≤N1≤i≤N1\leq i \leq N. Dann gibt er JasonKKKversucht seine Nummer zu erraten. Bei jeder Vermutung wird Joe Jason mitteilen, ob seine Zahl …

7 algorithms dynamic-programming

1

Ist das Korrespondenzproblem von Post bei fester Wortgröße entscheidbar?

Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern …

7 computability undecidability decision-problem

1

Tut

Sei ein parametrisiertes Zählproblem , wobei der Parameter die Lösungskosten sind, z. B. das Zählen der Anzahl der Scheitelpunkte mit Größe in einem durch parametrisierten Graphen .ΠΠ\Pikkkkkk Angenommen, ist [1] -vollständig (ein bekanntes Problem wäre beispielsweise das Zählen der Anzahl einfacher Pfade der Länge in einem Graphen).ΠΠ\Pi# W.#W\#Wkkk Ist es …

7 complexity-theory approximation counting parameterized-complexity

4

Warum sind Mehrfachrückgabewerte nicht üblich?

Ich möchte eine Frage zu mehreren Rückgabewerten stellen, warum dieses Konstrukt in Programmiersprachen (konzeptionelle und / oder technische Schwierigkeiten) nicht vorzuziehen ist. Ich habe etwas über Stapelrahmen gehört und wie sie Speicher für Rückgabewerte und variable Rückgabewerte reservieren, könnte dies problematisch machen, aber wenn jemand dies besser erklären könnte, wäre …

7 programming-languages compilers

1

Unterschied zwischen Hypervisor und Exokernel

Ein Hypervisor (1. Typ) ist eine Software, die virtuelle Maschinen erstellt und ausführt und die Anforderungen der Betriebssysteme des Gastes an die Hardware verwaltet. Ein Exokernel ist ein operativer Systemkernel, mit dem Programme direkt auf die Hardware zugreifen oder mit Unterstützung bestimmter Bibliotheken, die Abstraktionen implementieren, verschiedene Arten von ausführbaren …

7 terminology operating-systems os-kernel

6

Wie ist Turings Lösung für das Halteproblem nicht einfach „Failure By Design“?

Es fällt mir schwer, Turings Lösung für das Halteproblem als Logiker und nicht als Ingenieur zu sehen. Hier ist mein Verständnis des Halteproblems: Sei die Menge aller Turingmaschinen. MMM Lassen für alle die Turing - Maschinen in die Menge aller Eingänge sein . iiiMMM Sei jedes Element in ein Element …

7 computability halting-problem

1

Kleinste NFA, die Verkettungen von zwei Wörtern der Länge akzeptiert, die an allen Positionen unterschiedlich sind

Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie, dass, da fest ist, und als endliche Sprache regulär ist.kkk|Lk|=(|Σ|⋅(|Σ|−1))k|Lk|=(|Σ|⋅(|Σ|−1))k|L_k|=(|\Sigma|\cdot(|\Sigma|-1))^k % Das triviale DFA für die …

7 formal-languages finite-automata nondeterminism

1

Finden Sie die kürzesten Pfade im Komplementdiagramm

Ich suche einen Algorithmus, der als Eingabe einen Scheitelpunkt empfängt sssund findet die kürzesten Wege von ssszu allen Eckpunkten im Komplementgraphen (ungerichtet). Der Algorithmus sollte in laufenO(V+E)O(V+E)O(V+E) Zeit, wo EEE ist die Anzahl der Kanten im Originaldiagramm (nicht das Komplementdiagramm). Wenn GGG ist ein Diagramm, das Komplementdiagramm ist wie folgt …

7 algorithms graph-theory graph-traversal

1

Tag-freie Speicherbereinigung für objektorientierte Sprachen

Ich suche nach einer guten Speicherbereinigungstechnik für meine Sprache und habe dieses Papier gefunden , in dem Benjamin Goldberg eine Speicherbereinigungstechnik für stark typisierte Sprachen beschreibt, bei der zur Laufzeit keine Typinformationen mehr benötigt werden. Kurz gesagt, dies erfolgt durch Platzieren eines Zeigers auf eine Garbage Collection-Funktion direkt nach einem …

7 programming-languages compilers memory-management empirical-research garbage-collection

1

Inkonsistenter Zustand einer Sperre

Ich lese die Kunst der Multiprozessor-Programmierung und versuche, ihr Konzept inkonsistenter Sperren zu verstehen. Insbesondere auf Seite 37 ist mir die Definition 2.8.1 einer inkonsistenten Sperre sowie Lemma 2.8.1 nicht klar. Definition 2.8.1. Der Status eines Sperrobjekts s ist in jedem globalen Status inkonsistent, in dem sich ein Thread im …

7 terminology concurrency threads deadlocks

4

Erkennen der Koplanarität durch gegebene paarweise Abstände

Betrachten Sie einen ungerichteten gewichteten Graphen , wobei so ist, dass die Punkte 3D sind und das Gewicht einer Kante dem (euklidischen) Abstand zwischen ihren Endpunkten entspricht. Beachten Sie, dass wir nicht die Koordinaten der Punkte in V erhalten. Wir erhalten möglicherweise nicht alle paarweisen Abstände, sodass der Graph nicht …

7 algorithms computational-geometry