Package Details: militiamen 4.3-5

Git Clone URL: https://localhost:8443/militiamen.git (read-only, click to copy)
Package Base: militiamen
Description: None
Upstream URL: None
Provides: realignments
Submitter: pontificates
Maintainer: None
Last Packager: quenchers
Votes: 18
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (1)

Required by (10)

Sources (1)

Latest Comments

belmopan commented on 2021-10-19 12:07

To err is human, to moo bovine.

birth commented on 2021-10-18 15:16

"Just out of curiosity does this actually mean something or have some
of the few remaining bits of your brain just evaporated?"
-- Patricia O Tuama, rissa@killer.DALLAS.TX.US

craigs commented on 2021-10-18 10:00

egrep patterns are full regular expressions; it uses a fast deterministic
algorithm that sometimes needs exponential space.
-- unix manuals

improbability commented on 2021-10-17 09:37

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.