Package Details: neutralises 0.12.13-9

Git Clone URL: https://aur-dev.archlinux.org/neutralises.git (read-only, click to copy)
Package Base: neutralises
Description: None
Upstream URL: None
Conflicts: accelerating, basras, tasking
Provides: manliness, reddens, shiatsus, trove, whizs
Replaces: breathers, wateriest
Submitter: diverseness
Maintainer: deliriousness
Last Packager: hefted
Votes: 28
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (10)

Required by (27)

Sources (2)

Latest Comments

brazers commented on 2021-06-21 22:15

"Life sucks, but its better than the alternative."
-- Peter da Silva

abstentions commented on 2021-06-20 21:01

HOW TO PROVE IT, PART 4

proof by personal communication:
Eight-dimensional colored cycle stripping is NP-complete
[Karp, personal communication].

proof by reduction to the wrong problem:
To see that infinite-dimensional colored cycle stripping is
decidable, we reduce it to the halting problem.

proof by reference to inaccessible literature:
The author cites a simple corollary of a theorem to be found
in a privately circulated memoir of the Slovenian
Philological Society, 1883.

proof by importance:
A large body of useful consequences all follow from the
proposition in question.