Open marco-feitosa opened 3 years ago
No artigo que falei do Fripertinger ele usou esse programa SYMMETRICA para gerar e enumerar as séries: http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA/index.html
E aqui o link da database: https://imsc.uni-graz.at/fripertinger/db/
Fiquei livre de outras coisas e vou começar a ver isso hoje, @marco-feitosa.
A sua intenção é ter um algoritmo que seja fácil de explicar ou tudo bem complicá-lo (ou usar outras ferramentas) para gerar as séries?
Vou trabalhar com o que você começou e torná-lo mais eficiente, mas também pensei em utilizar um SMT solver. Vou criar uma implementação em paralelo nessa outra linha e a gente pode comparar as implementações ou fazer um segundo artigo.
Oi pessoal, seguem os parâmetros básicos para construção das séries: É uma soma de termos a_1 + a_2 + ... + a_12 = 12 . d, onde d={1, ... ,11} e 1 < a_i < 12, de maneira que a soma dos termos adjacentes ai + a(i+1) etc. (tomados 2 a 2, 3 a 3, ... até o penúltimo termo) seja diferente de 12 . d (um múltiplo de 12)
Vamos começar por aqui e depois vamos incluindo as condições para obtenção das séries específicas (simétricas etc.). Se quiserem podemos marcar uma reunião no Zoom para discutirmos pessoalmente, me falem qual o melhor horário pra vcs.
Caramba, Marco! A mensagem passou despercebida por mim. Desculpa a demora! Eu estou livre no fim de semana e no resto da semana meu horário é flexível, dependendo de quando puderem.
Eu estou bem ocupado até esse fim de semana. Depois de segunda fica melhor para mim. Em geral, de noite funciona para mim. Algo entre 14h e 19h para vocês durante a semana daria certo para mim.
Podemos combinar na quarta-feira 17h, antes do grupo do Liduino? Aí já ficamos para a reunião depois.
Por mim tudo certo!
Dá certo para mim também
Oi pessoal, combinado então! Segue o convite para reunião no Zoom:
Marco Feitosa está convidando você para uma reunião Zoom agendada.
Tópico: SerialGen Hora: 21 jul. 2021 17:00 São Paulo
Entrar na reunião Zoom https://us02web.zoom.us/j/84976500267?pwd=VUxxeXozRFZEbEdlZWlSOGlhS2pQQT09
ID da reunião: 849 7650 0267 Senha de acesso: 883379
Boa tarde,
Fizemos a atualização do código e já conseguimos gerar de forma otimizada todas as 479.001.600 séries. Fiz o upload dos arquivos TXT na seguinte pasta: https://1drv.ms/u/s!AvrJABGoGPiWnwUK_AyeN1f0MkTZ?e=oY88cU
O próximo passo é fazer a segmentação em classes, que incluem basicamente as séries relacionadas por I, R e RI, além das permutações circulares. Discutiremos isso na próxima reunião, na quarta-feira, 17h. Segue o link abaixo:
Tópico: SerialGen Hora: 28 jul. 2021 17:00 São Paulo
Entrar na reunião Zoom https://us02web.zoom.us/j/83508892934?pwd=NFdrYnltN285SHpZczQ0Q29vamp6Zz09
ID da reunião: 835 0889 2934 Senha de acesso: 958263
Abraços!
Não consegui acessar o link até agora. Diz que você está em outra reunião.
Oi pessoal ( @sonologico @luansimoes ),
Podemos discutir sobre o projeto por aqui. Vou começar a escrever o artigo, utilizando o template do congresso, se tiverem alguma ideia de melhoria do código fiquem à vontade para incluir no projeto. E caso queiram se reunir no Zoom para discutirmos por lá, também é uma possibilidade.
Estou à disposição,
Marco Feitosa