L'informatique

1

Comment minimiser la cardinalité d'un ensemble et de partitions disjointes soumises à des contraintes en temps polynomial?

Le vrai problème auquel je suis confronté est le suivant. INSTANCE : j'ai des ensemblesN:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\} et K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\} et matrice aij>0aij>0a_{ij}>0 pour tous i∈Ki∈Ki\in K et j∈Nj∈Nj\in N. QUESTION : J'ai besoin de trouver un sous-ensembleSSS de NNN de taille aussi petite que possible et partitionner l'ensemble KKK dans |S||S||S| ensembles …

8 algorithms optimization

1

Dans quelles conditions K-means est-il invariant par transformation?

Étant donné un ensemble de points de données où nous exécutons K-means sur et obtenons les clusters .X= {X1,X2, … ,Xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\}Xje∈RréXje∈Rréx_i \in \mathbb{R}^dXXXc1,c2, … ,ckc1,c2,…,ckc_1, c_2, \ldots, c_k Maintenant, si nous créons un nouvel ensemble de données où et et exécutons K-means sur pour obtenir …

8 algorithms clustering

7

En tant qu'enseignant: choisir un langage de programmation approprié

Je ne sais pas si c'est le bon endroit pour cette question. Désolé si je vais un peu hors sujet. Le choix d'une langue appropriée pour le premier cours de programmation est l'une des choses les plus importantes que chaque enseignant / conférencier doit garder à l'esprit; surtout si les …

8 algorithms programming-languages education

1

Les langages formels peuvent-ils être utilisés pour étudier la notation mathématique?

Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et comment prédire …

8 formal-languages reference-request formal-grammars programming-languages

2

Décidabilité de l'égalité des expressions radicales

Considérez les termes construits à partir d'éléments de QQ\mathbb Q et les opérations + , × , - , /+,×,−,/+,\times,-,/, et ⋅--√n⋅n\sqrt[n]{\,\cdot\,} pour chaque nombre naturel nnn. Étant donné la promesse que deux termes sont bien formés - c'est-à-dire qu'il n'y a pas de division par zéro et même pas …

8 computability undecidability number-theory equality

1

Relation entre le système d'attribution de type (TA) et le système Hindley-Milner

Récemment, j'ai commencé mes études en théorie des types / systèmes de types et Lambda Calculus. J'ai déjà lu sur le calcul lambda simple typé dans le style Church and Curry. Le dernier est également connu sous le nom de système d'attribution de type (TA). Je pense aux relations entre …

8 type-theory type-checking type-inference

2

Preuve de non-régularité, basée sur la complexité de Kolmogorov

En classe, notre professeur nous a montré 3 méthodes pour prouver la non-régularité: Théorème de Myhill – Nerode Pompage du lemme pour les langues régulières Preuve de non-régularité, basée sur la complexité de Kolmogorov Maintenant les deux premiers, le théorème de Myhill-Nerode et le lemme de pompage, j'ai bien compris …

8 formal-languages regular-languages proof-techniques kolmogorov-complexity

5

Pourquoi les barres de progression sont-elles si inexactes? [fermé]

Fermé. Cette question est hors sujet . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 3 ans . Les ordinateurs et les langages de programmation ont tendance à …

8 computation-models

1

Intuition derrière la condition | xy | ≤ p dans le pompage du lemme pour les langues régulières

Quand je regarde les preuves du pompage du lemme , j'ai le sentiment que je manque souvent l'intuition derrière la condition | xy | ≤ p. Quelle est exactement la raison de cette condition? Toute la littérature que j'ai examinée est soit silencieuse (pas de preuve, pas de discussion, seulement …

8 formal-languages regular-languages pumping-lemma

3

Limite supérieure de fib (n + 2)

J'ai un problème de devoirs qui me rend perplexe parce que les mathématiques vont au-delà de ce que j'ai fait, même si on nous a dit qu'il n'était pas nécessaire de résoudre cela mathématiquement. Fournissez simplement une limite supérieure étroite et justifiez-la. Soit Fournir une borne supérieure asymptotique sur comme …

8 asymptotics combinatorics upper-bound

1

Existe-t-il un code de type Reed-Solomon sur les symboles décimaux?

Un code de correction d'erreur Reed-Solomon composé de N symboles est garanti pour détecter jusqu'à N remplacements de symboles uniques dans une entrée arbitrairement longue plus l'ECC lui-même, et il est également garanti de corriger jusqu'à l'étage (N / 2) un seul symbole remplacements dans le même. Je ne peux …

8 error-correcting-codes

1

Comprendre la compression / l'encodage en temps linéaire

Je lis l'article NJ Larsson, A. Moffat: Compression basée sur un dictionnaire hors ligne , qui décrit un algorithme de compression qui, si je le comprends bien, est assez similaire au codage par paire d'octets . Étant donné une chaîne de longueur , j'essaie de comprendre comment on peut la …

8 algorithms algorithm-analysis runtime-analysis data-compression encoding-scheme

1

L'union de couverture est-elle toujours aussi rapide que diviser pour mieux régner?

Adams décrit un algorithme de division et de conquête pour trouver l'union de deux ensembles (représentés sous forme d'arbres de recherche binaires pondérés). Il décrit ensuite un nouvel algorithme de "l'union de couverture" qui, selon lui, améliore celui de diviser pour mieux régner. Cependant, il n'offre pas de preuve, ni …

8 data-structures

3

Que signifie cette définition d'une clé primaire?

Mon manuel donne la définition suivante d'une clé primaire dans une base de données relationnelle, que je ne comprends pas entièrement. De l'aide serait grandement appréciée. Laisser RRRêtre une relation. Ensuite, la clé primaire pourRRR est un sous-ensemble de l'ensemble des attributs de RRR, dire KKK, satisfaisant les deux propriétés …

8 database-theory

2

Algorithme pour résoudre le problème de contrainte planaire ("Recherche de monstre Pokemon Go")

[Remarque: ce problème a été inspiré par Pokemon Go. Je vais d'abord expliquer le problème en termes mathématiques, puis expliquer la connexion à Pokemon Go. Mon objectif n'est pas de tricher dans le jeu. Si je voulais tricher, de meilleures informations seraient disponibles plus facilement.] Supposons qu'il y ait NNN …

8 algorithms computational-geometry constraint-satisfaction