https://github.com/permutatriangle/combcov

Conjectured Covers of Combinatorial Classes
https://github.com/permutatriangle/combcov

Last synced: over 1 year ago
JSON representation

Conjectured Covers of Combinatorial Classes

• Host: GitHub
• URL: https://github.com/permutatriangle/combcov
• Owner: PermutaTriangle
• License: gpl-3.0
• Created: 2019-03-27T14:45:18.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2021-08-11T18:24:34.000Z (almost 5 years ago)
• Last Synced: 2024-04-27T02:02:45.051Z (about 2 years ago)
• Language: Python
• Homepage: https://permutatriangle.github.io/projects/2018-12-11-combcovfin.html
• Size: 183 KB
• Stars: 0
• Watchers: 9
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# CombCov

[![Build Status](https://img.shields.io/travis/PermutaTriangle/CombCov.svg?label=Linux%20CI&logo=travis&logoColor=white)](https://travis-ci.org/PermutaTriangle/CombCov)

[![Coverage Status](https://img.shields.io/coveralls/github/PermutaTriangle/CombCov.svg)](https://coveralls.io/github/PermutaTriangle/CombCov)

[![Requirements Status](https://img.shields.io/requires/github/PermutaTriangle/CombCov.svg)](https://requires.io/github/PermutaTriangle/CombCov/requirements)

[![Licence](https://img.shields.io/github/license/PermutaTriangle/CombCov.svg)](https://raw.githubusercontent.com/PermutaTriangle/CombCov/master/LICENSE)

[![PyPi Version](https://img.shields.io/pypi/v/CombCov.svg)](https://pypi.org/project/CombCov/)

[![PyPi Downloads](https://img.shields.io/pypi/dm/CombCov.svg)](https://pypi.org/project/CombCov/)

[![Python Implementation](https://img.shields.io/pypi/implementation/CombCov.svg)](https://pypi.org/project/CombCov/)

[![Python Versions](https://img.shields.io/pypi/pyversions/CombCov.svg)](https://pypi.org/project/CombCov/)

A generalization of the permutation-specific algorithm [Struct](https://github.com/PermutaTriangle/PermStruct) -- 

extended for other types of combinatorial objects.

## Demos

Take a look at the `demo/` folder in this repo to see examples on how to use

`CombCov` with your own combinatorial object. On example finds a _Word Set_

cover for the set of words over the alphabet `{a,b}` that avoids the subword

`aa` (meaning no words in the set contains `aa` as a subword).

```bash

$ python -m demo.word_set

[INFO] (CombCov) Enumerating all elements of size up to 7...

[INFO] (CombCov) ...DONE enumerating elements! (Running time: 0.00 sec)

[INFO] (CombCov) Total of 87 elements.

[INFO] (CombCov) Enumeration: [1, 2, 3, 5, 8, 13, 21, 34]

[INFO] (CombCov) Creating binary strings and rules...

[INFO] (CombCov) Bitstring to cover: 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 

[INFO] (WordSet) Generated 16 subrules

[INFO] (CombCov) ...DONE creating binary strings and rules! (Running time: 0.00 sec)

[INFO] (CombCov) Total of 14 valid rules with 14 distinct binary strings.

[INFO] (CombCov) Searching for a cover for ''*Av(aa) over ∑={a,b}...

[INFO] (CombCov) Gurobi installed on system and set as solver

[INFO] (CombCov) ...DONE searching for a cover! (Running time: 0.02 sec)

Solution found!

 - Rule #1 with bitstring 000000000000000000000000000000000000000000000000000000000000000000000000000000000000001: ''*Av(a,b) over ∑={a,b}

 - Rule #2 with bitstring 000000000000000000000000000000000000000000000000000000000000000000000000000000000000010: 'a'*Av(a,b) over ∑={a,b}

 - Rule #3 with bitstring 111111111111111111111000000000000011111111111110000000011111111000001111100011100110100: 'b'*Av(aa) over ∑={a,b}

 - Rule #4 with bitstring 000000000000000000000111111111111100000000000001111111100000000111110000011100011001000: 'ab'*Av(aa) over ∑={a,b}

```

## Development

Run unittests (with coverage for the `demo` module as well):

```bash

./setup.py test --addopts --cov=demo

```