Computerwissenschaften

2

Reduzieren von Produkten in HoTT auf Church / Scott-Codierungen

Also gehe ich gerade mit einigen Leuten das HoTT-Buch durch. Ich habe die Behauptung aufgestellt, dass die meisten induktiven Typen, die wir sehen werden, auf Typen reduziert werden können, die nur abhängige Funktionstypen und Universen enthalten, indem der Typ des Rekurors als Inspiration für den äquivalenten Typ verwendet wird. Ich …

11 type-theory type-checking dependent-types homotopy-type-theory

2

Warum sind linear begrenzte Turingmaschinen leistungsfähiger als Finite-State-Automaten?

Ich hatte den Eindruck, dass unsere Computer, da sie endlich sind, letztendlich nicht leistungsfähiger sind als (außerordentlich große) endliche Zustandsmaschinen. Linear gebundene Turing-Maschinen sind zwar auch endlich, aber es scheint, dass reguläre Sprachen streng genommen eine unangemessene Teilmenge kontextsensitiver Sprachen sind. Offensichtlich fehlt mir hier etwas. Was ist los?

11 finite-automata computation-models linear-bounded-automata

3

Wie hat 0 zwei Werte im eigenen Komplement?

Es wird gesagt, dass im 2er-Komplement 0 nur einen Wert hat, während im 1er-Komplement sowohl +0 als auch -0 getrennte Werte haben. Was sind Sie?

11 arithmetic

3

Stellen Sie eine 5-Karten-Pokerhand dar

Ein Kartenspiel ist 52. Eine Hand ist 5 Karten von den 52 (kann kein Duplikat haben). Was ist die geringste Anzahl von Bits, um eine 5-Karten-Hand darzustellen, und wie? Eine Hand ist NICHT auftragsabhängig (KQ = QK). 64329 = 96432 Ja, kann 52 Bit verwenden. Das kann eine Hand aus …

11 combinatorics

3

Zeitliche Komplexität der Addition

Wikipedia listet die zeitliche Komplexität der Addition als , wobei die Anzahl der Bits ist.nnnnnn Ist das eine starre theoretische Untergrenze? Oder ist dies nur die Komplexität des derzeit schnellsten bekannten Algorithmus? Ich möchte wissen, weil die Komplexität der Addition alle anderen arithmetischen Operationen und alle Algorithmen, die sie verwenden, …

11 algorithms algorithm-analysis arithmetic

2

Finden des k'th kleinsten Elements aus einer gegebenen Sequenz nur mit O (k) Speicher O (n) Zeit

Angenommen, wir lesen eine Folge von Zahlen nacheinander. So finden Sie das k -kleinste Element nur mit dem O ( k ) -Zellenspeicher und in linearer Zeit ( O ( n ) ). Ich denke, wir sollten die ersten k Terme der Sequenz speichern und, wenn wir den k + …

11 data-structures search-algorithms quicksort

5

Data Science vs Operations Research

Die allgemeine Frage lautet, wie der Titel schon sagt: Was ist der Unterschied zwischen DS und OR / Optimierung? Auf konzeptioneller Ebene verstehe ich, dass DS versucht, Wissen aus den verfügbaren Daten zu extrahieren und hauptsächlich statistische Techniken des maschinellen Lernens verwendet. Andererseits verwendet OR die Daten, um Entscheidungen basierend …

11 optimization data-mining

4

Ist es sinnvoll, sowohl das Konzept von 'null' als auch von 'vielleicht' zu haben?

Beim Erstellen eines Clients für eine Web-API in C # stieß ich auf ein Problem hinsichtlich nulleines Werts, bei dem zwei verschiedene Dinge dargestellt werden: nichts , zB ein foodarf oder darf nicht a habenbar unbekannt : Standardmäßig enthält die API-Antwort nur eine Teilmenge von Eigenschaften. Sie müssen angeben, welche …

11 programming-languages language-design

2

Mathematische Vermutungen, die dem Anhalten einer Turingmaschine entsprechen

Bei dieser Frage geht es darum, ob jeder mathematische Satz auf die Frage reduziert werden kann, ob eine einzelne Turing-Maschine anhält. Insbesondere interessieren mich Vermutungen, die derzeit nicht bewiesen sind. Zum Beispiel: Wikipedia sagt, dass es derzeit nicht bekannt ist, ob es ungerade perfekte Zahlen gibt. Da es entscheidend ist, …

11 formal-languages computability mathematical-foundations

1

Können Eigenschaften wie die Speichernutzung einer Funktion in einer abhängig typisierten Sprache ausgedrückt werden?

Angenommen, man möchte über Eigenschaften des Codes hinaus über Dinge wie Totalität und funktionale Reinheit nachdenken - man kümmert sich auch um den Speicherverbrauch oder die algorithmische Komplexität einer Funktion. Kann dies durch abhängige Typisierungs- und Effektsysteme erreicht werden?

11 type-theory functional-programming dependent-types inductive-datatypes

1

Prototyping-Tool für Programmiersprachen-Semantik

Gibt es ein Tool zum Prototyping einer Programmiersprachen-Semantik und eines Typsystems, das auch eine Art Modellprüfung von Standardeigenschaften wie der Typensicherheit ermöglicht? Ich frage dies, weil ich ein Buch über Legierung lese und es genau die Funktionalität bietet, die ich möchte, aber für Modelle, die mit relationaler Logik ausgedrückt werden. …

11 reference-request programming-languages semantics model-checking

2

Nächstes Punktpaar zwischen zwei Sätzen in 2D

Ich habe zwei Mengen von Punkten in der zweidimensionalen Ebene. Ich möchte das nächste Punktpaar so dass , und der euklidische Abstand zwischen so klein wie möglich ist. Wie effizient kann das gemacht werden? Kann es in Zeit gemacht werden, wobei?s , t s ∈ S t ∈ T s …

11 algorithms computational-geometry

3

Automatisches Downcasting durch Ableiten des Typs

In Java müssen Sie explizit umwandeln, um eine Variable herunterzuspielen public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; } …

11 object-oriented type-inference language-design

1

Wie partitioniere ich eine Menge unter bestimmten Bedingungen in eine bestimmte Anzahl disjunkter Teilmengen?

Ich eine Menge , eine ganze Zahl und nicht negative ganze Zahlen a_ {ij} . Mein Problem besteht darin, s disjunkte Teilmengen S_j von \ {1, \ ldots, k \} so zu finden, dass:s ⩽ k a i j s S j { 1 , … , k }A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} …

11 complexity-theory integer-programming

3

Gibt es parallele Matrix-Exponentiationsalgorithmen, die effizienter sind als die sequentielle Multiplikation?

Man muss die Potenz (positive ganze Zahl) der Matrix reeller Zahlen finden. Es gibt viele effiziente Matrixmultiplikationsalgorithmen (z. B. einige parallele Algorithmen sind Cannons, DNS ), aber gibt es Algorithmen, die genau dazu bestimmt sind, die Leistung der Matrix zu ermitteln, und die effizienter sind als die sequentielle Ausführung der …

11 algorithms parallel-computing efficiency matrices numerical-algorithms