Scienza del computer

2

Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?

Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …

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

3

Perché l'ordinamento per selezione è più veloce dell'ordinamento a bolle?

È scritto su Wikipedia che "... l'ordinamento di selezione supera quasi sempre l'ordinamento a bolle e l'ordinamento di gnomi". Qualcuno può spiegarmi perché la selezione è considerata più veloce di quella a bolle anche se entrambi hanno: Peggior complessità del caso :O ( n2)O(n2)\mathcal O(n^2) Numero di confronti : O …

28 algorithms runtime-analysis efficiency sorting

4

Qual è esattamente la differenza tra apprendimento supervisionato e non supervisionato?

Sto cercando di capire i metodi di clustering. Cosa penso di aver capito: Nell'apprendimento supervisionato, i dati di categorie / etichette assegnati sono noti prima del calcolo. Quindi, le etichette, le classi o le categorie vengono utilizzate per "apprendere" i parametri che sono veramente significativi per quei cluster. Nell'apprendimento senza …

28 machine-learning data-mining clustering

1

Quali combinazioni di sequenzializzazione pre, post e in ordine sono uniche?

Conosciamo il post-ordine, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] e preordine pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) e in ordine traversal resp. sequentialisation. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] …

28 algorithms binary-trees

1

Esiste una struttura di dati di "stack string" che supporta queste operazioni di stringa?

Sto cercando una struttura di dati che memorizza un set di stringhe su un set di caratteri ΣΣ\Sigma , in grado di eseguire le seguenti operazioni. Indichiamo D(S)D(S)\mathcal{D}(S) come struttura dati memorizzare l'insieme di stringhe SSS . Add-Prefix-Setsu D(S)D(S)\mathcal{D}(S) : dato un insieme TTT di stringhe (possibilmente vuote), la cui …

28 data-structures time-complexity strings stacks

3

Misurare la difficoltà delle istanze SAT

Data un'istanza di SAT, vorrei essere in grado di stimare quanto sarà difficile risolvere l'istanza. Un modo è eseguire i solutori esistenti, ma quel tipo di sconfitte ha lo scopo di stimare la difficoltà. Un secondo modo potrebbe essere il rapporto tra clausole e variabili, come avviene per le transizioni …

28 complexity-theory satisfiability heuristics

4

Derivazione chiara e intuitiva del combinatore a punto fisso (combinatore a Y)?

Il combinatore a virgola fissa FIX (noto anche come il combinatore Y) nel calcolo lambda (non tipizzato) ( λλ\lambda ) è definito come: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Capisco …

28 computability logic programming-languages lambda-calculus combinatory-logic

6

Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi

Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

4

Come trovare una superstar in tempo lineare?

Prendi in considerazione i grafici diretti. Chiamiamo un nodo superstar se e solo se nessun altro nodo può essere raggiunto da esso, ma tutti gli altri nodi hanno un bordo a . formalmente:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 superstar :⟺outdeg(v)=0∧indeg(v)=n−1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 \land \mathrm{indeg}(v) …

28 algorithms graphs

2

Conteggio degli alberi binari

(Sono uno studente con un background matematico e vorrei sapere come contare il numero di un tipo specifico di alberi binari.) Guardando la pagina Wikipedia per Alberi binari , ho notato questa affermazione che il numero di alberi binari radicati di dimensione nnn sarebbe questo numero catalano : Cn=1n+1(2nn)Cn=1n+1(2nn)C_n = …

28 combinatorics binary-trees discrete-mathematics

1

Differenza tra semantica operativa di piccole e grandi dimensioni

Qual è la differenza fondamentale tra la semantica operativa di piccole e grandi dimensioni? Sto facendo fatica a capire di cosa si tratta e la motivazione per avere i due.

28 semantics operational-semantics small-step-semantics

7

Algoritmo per trovare il diametro di un albero usando BFS / DFS. Perché funziona

Questo collegamento fornisce un algoritmo per trovare il diametro di un albero non orientato usando BFS / DFS . riassumendo: Esegui BFS su qualsiasi nodo nel grafico, ricordando il nodo che hai scoperto per ultimo. Esegui BFS da te ricordando il nodo v scoperto per ultimo. d (u, v) è …

28 algorithms graphs search-algorithms trees graph-traversal

7

Quali sono gli esempi più semplici di programmi che non sappiamo se terminano?

Il problema di arresto indica che non esiste un algoritmo che determinerà se un determinato programma si arresta. Di conseguenza, dovrebbero esserci programmi sui quali non possiamo dire se terminano o meno. Quali sono gli esempi più semplici (più piccoli) conosciuti di tali programmi?

27 computability turing-machines halting-problem

2

Come faccio a costruire riduzioni tra i problemi per dimostrare che un problema è NP-completo?

Sto seguendo un corso di complessità e non riesco a trovare riduzioni tra i problemi degli NPC. Come posso trovare riduzioni tra i problemi? C'è un trucco generale che posso usare? Come dovrei affrontare un problema che mi chiede di dimostrare che un problema è NPC?

27 complexity-theory np-complete proof-techniques reductions

2

Come trovo mia moglie in un supermercato?

Se due persone si perdono in un labirinto, esiste un algoritmo che entrambi possono usare per trovarsi senza aver concordato in precedenza quale algoritmo useranno? Penso che ci siano alcune caratteristiche che questo algoritmo avrà: Ogni persona deve essere in grado di ricavarlo usando una logica che non fa ipotesi …

27 algorithms search-algorithms agent-based-computing