Scienza del computer

11

Perché ?

Vorrei sapere se esiste una regola per dimostrarlo. Ad esempio, se uso la legge distributiva otterrò solo .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic propositional-logic

7

Un elemento che differisce in due matrici. Come trovarlo in modo efficiente?

Mi sto preparando per un colloquio di programmazione e non riesco davvero a capire il modo più efficace per risolvere questo problema. Supponiamo di avere due array costituiti da numeri non ordinati. L'array 2 contiene un numero che l'array 1 non contiene. Entrambi gli array hanno numeri casuali, non necessariamente …

22 algorithms search-algorithms arrays efficiency

4

Non esiste un algoritmo di ordinamento con tutte le proprietà specifiche desiderate?

Sul sito Web Algorithms di ordinamento viene fatta la seguente richiesta: L'algoritmo di ordinamento ideale avrebbe le seguenti proprietà: Stabile: le chiavi uguali non vengono riordinate. Funziona in posizione, richiedendo spazio extra.O ( 1 )O(1)O(1) Confronti chiave peggiore dei casi .O ( n ⋅ lg( n ) )O(n⋅lg⁡(n))O(n\cdot\lg(n)) swap nel …

22 algorithms sorting

4

Numero minimo di confronti necessari per ordinare (ordinare) 5 elementi

Trova il numero minimo di confronti necessari per ordinare (ordinare) cinque elementi e escogitare un algoritmo che ordina questi elementi usando questo numero di confronti. Soluzione : ce ne sono 5! = 120 possibili esiti. Pertanto, un albero binario per la procedura di ordinamento avrà almeno 7 livelli. In effetti, …

22 algorithms sorting lower-bounds

3

Perché i problemi NP-completi sono così diversi in termini di approssimazione?

Vorrei iniziare la domanda dicendo che sono un programmatore e non ho molti retroscena nella teoria della complessità. Una cosa che ho notato è che mentre molti problemi sono NP-completi, se estesi a problemi di ottimizzazione, alcuni sono molto più difficili da approssimare di altri. Un buon esempio è TSP. …

22 complexity-theory optimization np approximation

2

L'espressione computazionale è la stessa di monade?

Questa domanda è stata migrata da StackTranslate.it perché è possibile rispondere a Scambio stack di Informatica. Migrato 5 anni fa . Sto ancora imparando la programmazione funzionale (con f #) e di recente ho iniziato a leggere le espressioni di calcolo. Continuo a non comprendere appieno il concetto e una …

22 functional-programming

3

Algoritmo per minimizzare la superficie, dato volume

Considera il seguente compito algoritmico: Input: un numero intero positivo nnn , insieme alla sua scomposizione in fattori primi Trova: numeri interi positivi x,y,zx,y,zx,y,z che minimizzano xy+yz+xzxy+yz+xzxy+yz+xz , soggetto alla restrizione che xyz=nxyz=nxyz=n Qual è la complessità di questo problema? Esiste un algoritmo del tempo polinomiale? NP è difficile? Questo …

22 algorithms optimization integers

1

Quali sono i sistemi di tipo noto più forti per i quali l'inferenza è decidibile?

È risaputo che l'inferenza di tipo Hindley-Milner (il semplice -calculus con polimorfismo) ha un'inferenza di tipo decidibile: è possibile ricostruire i tipi di principio per qualsiasi programma senza alcuna annotazione.λλ\lambda L'aggiunta di caratteri tipografici in stile Haskell sembra preservare questa decidibilità, ma ulteriori aggiunte rendono indecidibile l'inferenza senza annotazioni (famiglie …

22 undecidability type-theory type-inference dependent-types

5

Compressione dei dati utilizzando i numeri primi

Di recente mi sono imbattuto nel seguente interessante articolo che afferma di comprimere in modo efficiente insiemi di dati casuali sempre più del 50%, indipendentemente dal tipo e dal formato dei dati. Fondamentalmente usa i numeri primi per costruire in modo univoco una rappresentazione di blocchi di dati a 4 …

22 information-theory data-compression primes

4

Ottimizzazione automatizzata della moltiplicazione vettoriale a matrice 0-1

Domanda: Esiste una procedura o teoria consolidata per la generazione di codice che applica efficacemente una moltiplicazione matrice-vettore, quando la matrice è densa e piena solo di zeri e di quelli? Idealmente, il codice ottimizzato farebbe un uso sistematico delle informazioni precedentemente calcolate per ridurre il lavoro duplicato. In altre …

22 linear-algebra matrices program-optimization

2

Fondamenti teorici di Divide and Conquer

Quando si tratta di progettare algoritmi, si impiegano spesso le seguenti tecniche: Programmazione dinamica La strategia golosa Dividere e conquistare Mentre per i primi due metodi ci sono basi teoriche ben note, vale a dire il principio di ottimalità di Bellman e la teoria matroid (resp. Greedoid), non sono riuscito …

22 algorithms reference-request divide-and-conquer

3

Conversione di problemi (matematici) in istanze SAT

Quello che voglio fare è trasformare un problema di matematica che ho in un problema booleano di soddisfacibilità (SAT) e quindi risolverlo usando un Risolutore SAT. Mi chiedo se qualcuno conosce un manuale, una guida o qualcosa che mi aiuterà a convertire il mio problema in un'istanza SAT. Inoltre, voglio …

22 algorithms reductions satisfiability

5

Perché i linguaggi funzionali di Turing sono completi?

Forse la mia comprensione limitata dell'argomento non è corretta, ma questo è quello che ho capito finora: La programmazione funzionale si basa su Lambda Calculus, formulato da Alonzo Church. La programmazione imperativa si basa sul modello della macchina di Turing, realizzato da Alan Turing, studente della Chiesa. Il calcolo Lambda …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

2

Cosa si intende per teoria delle categorie che non sa ancora come gestire le funzioni di ordine superiore?

Nel leggere la risposta di Uday Reddy a Qual è la relazione tra i funzionari nella teoria SML e della categoria? Stati Uday La teoria delle categorie non sa ancora come gestire le funzioni di ordine superiore. Un giorno lo farà. Poiché pensavo che la teoria delle categorie potesse servire …

22 functional-programming category-theory

1

Decidi se le lingue senza contesto possono essere accettate da un automa di pushdown deterministico

Data una grammatica senza contesto G, esiste un automa automatico non deterministico N che accetta esattamente la lingua che G accetta. (e viceversa) Ci può anche esistere un deterministico Pushdown Automaton D che accetta esattamente il linguaggio G accetta troppo. Dipende dalla grammatica. Con quale algoritmo sulle produzioni di G …

22 automata context-free pushdown-automata