Scienza del computer mathematical-programming

2

Qual è l'algoritmo più veloce per la moltiplicazione di due numeri a n cifre?

Voglio sapere quale algoritmo è il più veloce per la moltiplicazione di due numeri a n cifre? La complessità dello spazio può essere rilassata qui!

21 algorithms mathematical-programming

4

Esistono algoritmi di compressione basati su PI?

Quello che sappiamo è che π è infinito e molto probabilmente contiene ogni possibile stringa di cifre finita ( sequenza disgiuntiva ). Ho visto di recente un prototipo di πfs che presuppone che ogni file che hai creato (o chiunque altro) o che creerai, è già lì, quindi si tratta …

11 algorithms data-compression mathematical-programming

2

Teorema Prove in Coq

sfondo Sto imparando l'assistenza, Coq, da solo. Finora ho completato la lettura del Coq in a Hurry di Yves Bertot . Ora, il mio obiettivo è quello di dimostrare alcuni risultati di base riguardanti i numeri naturali, culminando con il cosiddetto algoritmo di divisione. Tuttavia, ho riscontrato alcune battute d'arresto …

10 automated-theorem-proving proof-assistants mathematical-programming coq

2

Sfaccettature note del politipo Problema del commesso viaggiatore

Per il metodo di taglio e taglio, è essenziale conoscere molte sfaccettature dei polipropi generati dal problema. Tuttavia, attualmente è uno dei problemi più difficili per calcolare effettivamente tutte le sfaccettature di tali polipropi man mano che crescono rapidamente di dimensioni. Per un arbitrario problema di ottimizzazione, il politopo usato …

8 algorithms optimization linear-programming mathematical-programming traveling-salesman

Domande taggate «mathematical-programming»