10000 Jackson vertex cover by joshuaguerin · Pull Request #34 · joshuaguerin/Answer-Set-Programming-Algorithms · GitHub
[go: up one dir, main page]

Skip to content

Jackson vertex cover #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jun 5, 2025
Merged

Jackson vertex cover #34

merged 4 commits into from
Jun 5, 2025

Conversation

joshuaguerin
Copy link
Owner

No description provided.

@joshuaguerin joshuaguerin requested review from gonz9032 and mads1158 June 4, 2025 14:50
@joshuaguerin joshuaguerin added the enhancement New feature or request label Jun 4, 2025
@joshuaguerin
Copy link
Owner Author

You seem to have included an additional instance file again? Would you please remove it?

@mads1158
Copy link
Collaborator
mads1158 commented Jun 4, 2025

Removed the instance file from the generator folder

@joshuaguerin
Copy link
Owner Author

Regarding your method of generation--how does the algorithm decide the edge density of a graph. Small graphs do appear rather dense, which is a bit inconsistent. I like the idea of the graph being generated to be fully connected, but users are likely to run a number of smaller instances when they are learning.

@joshuaguerin
Copy link
Owner Author

Additional note being a syntax issue. Would you please update with grouping symbols? I'm not certain whether your syntax is equivalent, but it is certainly more challenging to parse.

(See the included instance.lp file.)

@joshuaguerin
Copy link
Owner Author

OK, cool. I'm liking what I see, overall. Just ran a handful of tests again to make sure everything is working and I'd guess it is at least 50% of the time solvable. I think that is a good baseline to work with.

@joshuaguerin joshuaguerin merged commit 77c0051 into master Jun 5, 2025
@joshuaguerin joshuaguerin deleted the jackson-vertex-cover branch June 5, 2025 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
0