Computerwissenschaften

2

Charakterisierung von Lambda-Termen mit Unionstypen

Viele Lehrbücher behandeln Schnittmengenarten in der Lambda-Rechnung. Die Typisierungsregeln für die Schnittmenge können wie folgt definiert werden (zusätzlich zur einfach getippten Lambda-Rechnung mit Subtypisierung): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash M …

29 lambda-calculus type-theory logic

2

Warum scheinen neuronale Netze mit Einschränkungen ihrer Topologie eine bessere Leistung zu erbringen?

Backprop-Netzwerke, die vollständig miteinander verbunden sind (mindestens Schicht für Schicht mit mehr als 2 verborgenen Schichten), sind universelle Lerner. Leider lernen sie oft nur langsam und neigen zu Überanpassung oder zu unangenehmen Verallgemeinerungen. Beim Herumalbern mit diesen Netzwerken habe ich beobachtet, dass das Beschneiden einiger Kanten (so dass deren Gewicht …

29 machine-learning network-topology neural-networks

7

Werden Algorithmen (und die Effizienz im Allgemeinen) immer weniger wichtig?

Ist es weniger wichtig, Algorithmen zu kennen und effizient zu sein, da der Kauf von Rechenleistung viel günstiger ist als in der Vergangenheit? Es ist klar, dass Sie eine Endlosschleife vermeiden möchten, also geht nicht alles. Aber wenn Sie eine bessere Hardware haben, könnten Sie dann eine schlechtere Software haben?

29 efficiency

3

Fügen Unterabfragen SQL-Abfragen Ausdruckskraft hinzu?

Benötigt SQL Unterabfragen? Stellen Sie sich eine ausreichend verallgemeinerte Implementierung der strukturierten Abfragesprache für Beziehungsdatenbanken vor. Da die Struktur der kanonischen SQL- SELECTAnweisung eigentlich ziemlich wichtig ist, damit dies sinnvoll ist, appelliere ich nicht direkt an die relationale Algebra, aber Sie könnten dies in diesen Begriffen einrahmen, indem Sie die …

29 database-theory relational-algebra

4

Wie bestimme ich wahrscheinliche Verbindungen in einem sozialen Netzwerk?

Ich bin neugierig darauf, einen Ansatz zu finden, um einen "vorgeschlagenen Freund" -Algorithmus in Angriff zu nehmen. Facebook hat eine Funktion, mit der es Ihnen Personen empfiehlt, mit denen Sie möglicherweise vertraut sind. Diese Benutzer haben normalerweise (mit Ausnahme der Randfälle, in denen ein Benutzer einen Freund ausdrücklich empfiehlt ) …

29 algorithms machine-learning modelling social-networks

2

Wie man den gierigen Algorithmus beweist, ist richtig

Ich habe einen gierigen Algorithmus, von dem ich vermute, dass er richtig ist, aber ich bin mir nicht sicher. Wie überprüfe ich, ob es korrekt ist? Was sind die Techniken, um zu beweisen, dass ein gieriger Algorithmus korrekt ist? Gibt es gemeinsame Muster oder Techniken? Ich hoffe, dass dies eine …

29 algorithm-analysis proof-techniques correctness-proof greedy-algorithms

4

Gleichmäßige Probenahme aus einem Simplex

Ich suche nach einem Algorithmus zum Erzeugen eines Arrays von N Zufallszahlen, so dass die Summe der N Zahlen 1 ist und alle Zahlen innerhalb von 0 und 1 liegen. Zum Beispiel ist N = 3, der Zufallspunkt (x, y, z) sollte im Dreieck liegen: x + y + z …

29 algorithms randomness random-number-generator sampling

1

Teilmengenproblem mit vielen Teilbarkeitsbedingungen

Sei eine Menge natürlicher Zahlen. Wir betrachten unter der Teilbarkeits-Teilordnung, dh . LassenSSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain }}\} . Was können wir über die Komplexität des Problems in Bezug auf \ alpha (S) sagen, wenn wir …

28 complexity-theory number-theory knapsack-problems

2

Wie kann effizient festgestellt werden, ob eine bestimmte Leiter gültig ist?

In meinem örtlichen Squashclub gibt es eine Leiter, die wie folgt funktioniert. Zu Beginn der Saison erstellen wir eine Tabelle mit dem Namen jedes Clubmitglieds in einer separaten Zeile. Wir schreiben dann die Anzahl der gewonnenen Spiele und die Anzahl der gespielten Spiele neben jeden Namen (in der Form: Spieler …

28 algorithms graphs

2

Was ist ein Batch-Compiler?

Ich habe das folgende Zitat aus dem Kurs meines Compilers (im Zusammenhang mit der Grafikfärbung): Da es langsam ist, wird die Grafikfarbe in Batch-Compilern verwendet, während der lineare Scan in JIT-Compilern verwendet wird. Ich konnte online keine klare Definition finden. Was macht einen Compiler zu einem Batch-Compiler?

28 compilers

3

Was passiert, wenn eine Internetverbindung schneller als die Speicherschreibgeschwindigkeit ist?

Was passiert, wenn man versucht, eine Datei mit einer Geschwindigkeit von 800 MB / s (100 MB / s) auf eine Festplatte mit einer Schreibgeschwindigkeit von 500 MB / s (62,5 MB / s) herunterzuladen? Würde das System die Downloadgeschwindigkeit begrenzen?

28 computer-networks

1

Welche Algorithmen für maschinelles Lernen können für Zeitreihenvorhersagen verwendet werden?

Momentan spiele ich mit Zeitreihenprognosen (speziell für Forex). Ich habe einige wissenschaftliche Artikel über Echozustandsnetzwerke gesehen, die auf Forex-Prognosen angewendet werden. Gibt es für diesen Zweck andere gute Algorithmen für maschinelles Lernen? Es wäre auch interessant, "profitable" Muster aus den Zeitreihen zu extrahieren.

28 reference-request machine-learning artificial-intelligence

2

Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

2

Gibt es bestimmte Probleme, von denen bekannt ist, dass sie aus anderen Gründen als der Diagonalisierung, der Selbstreferenz oder der Reduzierbarkeit nicht entschieden werden können?

Jedes unentscheidbare Problem, das ich kenne, fällt in eine der folgenden Kategorien: Unentscheidbare Probleme durch Diagonalisierung (indirekte Selbstreferenz). Diese Probleme, wie das Problem des Anhaltens, sind nicht zu entscheiden, da Sie einen angeblichen Entscheider für die Sprache verwenden könnten, um ein TM zu konstruieren, dessen Verhalten zu einem Widerspruch führt. …

28 computability proof-techniques undecidability

2

Was bedeutet "echte Parallelität"?

Ich höre oft Sätze wie "echte Nebenläufigkeitssemantik" und "echte Nebenläufigkeitsäquivalenzen" ohne Referenzen. Was bedeuten diese Begriffe und warum sind sie wichtig? Was sind einige Beispiele für echte Gleichzeitigkeiten und wozu sind sie erforderlich? ZB in welchen Fällen sind sie besser anwendbar als mehr Standardäquivalenzen (Bisimulation, Spurenäquivalenz usw.)?

28 terminology reference-request concurrency