Questions tagged [kolmogorov-complexity]
Kolmogorov complexity, informally, is the amount of code it takes to describe or produce a constant object, such as a string or image. When posting a challenge in this category, please make sure it adds something new to existing challenges.
709 questions
7
votes
1
answer
164
views
Fitch Proof of \$(p\Longrightarrow q)\iff\lnot p\lor q\$ with least amount of steps
In the smallest amount of steps, prove
$$(p\Longrightarrow q)\iff\lnot p\lor q$$
We base the proof system on this website. The related functionalities are:
Assumption. Assume that some statement is ...
- 529
7
votes
6
answers
2k
views
Bring back cup stacking
Do you remember cup stacking? Young competitors compete to see how quickly they can arrange 12 upside-down plastic cups into three consecutive arrangements of cup pyramids.
The number of each cups in ...
- 3,732
15
votes
7
answers
1k
views
Draw all 11 cube nets
There are 11 ways of flattening a cube onto a flat surface, like a piece of paper, which can then be folded back up into a cube. Each of these is called a cube net.
Your task is to write a program or ...
- 3,732
14
votes
19
answers
2k
views
Antiparallel 12-hour Clock Hands
Output (or print) each of the 11 times, one per line, in the POSIX %I:%M:%S format, at which the hour and minute hands of a 12-hour clock are antiparallel. Here <...
- 801
3
votes
2
answers
443
views
9 Queens and 1 obstacle
Position 9 queens and 1 obstacle on an 8×8 chessboard so that no two queens threaten each other. Obstacles between two queens prevent them from threatening each other.
For example here is a solution (<...
- 30.6k
12
votes
7
answers
2k
views
Do Not Find the Fox in all possible ways
Do Not Find the Fox is a non-game where you repeat the following up to 16 times:
Pick an empty square in a 4×4 grid
Draw a tile from a bag – there are 5 Fs, 6 Os and 5 Xs at first – and place it in ...
- 4,391
27
votes
22
answers
5k
views
Draw the Flag of Greenland
The flag of Greenland consists of two red sections and two white sections. I'll provide a diagram below, but also give a textual description. The background of the flag is a rectangle that is 18 units ...
- 3,733
9
votes
13
answers
1k
views
BTD6 Kinetic Chaos (9/26/24 Odyssey)
This week's odyssey in Bloons Tower Defense 6 has a neat gimmick, but it's slightly confusing at first. Each custom round is actually two consecutive regular rounds at once, but this means the round ...
- 4,808
8
votes
10
answers
3k
views
Five Hundred Cigarettes
This is a cigarette.
_
//
//
//
°
This is two (2) cigarettes.
__
///
///
///
°°
This is three (3) cigarettes. The ...
- 213
9
votes
7
answers
3k
views
Waiting girl's face
In June 2023, at Xenium Party 2023, a 4KB intro created by Wacek, Luke, and Jammer for the Commodore 64 was presented, featuring the face of a waiting girl.
The task is to write the shortest possible ...
24
votes
10
answers
3k
views
Play the Final Fantasy Prelude
Play the initial section of the Final Fantasy Prelude. This is a 4-octave up-down arpeggio of the following chords:
Cadd2, Amadd2, Cadd2, Amadd2, Fadd2, Gadd2, G♯maj7, A♯maj7
Rules:
Actual sound must ...
- 1,291
11
votes
4
answers
739
views
Miracle Miracle Octad Generator Generator
The Miracle Octad Generator (MOG) introduced by R. T. Curtis in 1976 is a central tool in the study of sporadic groups, error-correcting codes, Steiner systems, and sphere-packings.
The MOG is ...
- 1,954
10
votes
17
answers
1k
views
Is it an option for the ls utility specified in POSIX.1-2017?
The ls utility lists specified directory content. It is infamous for stupidly lots of options which is known for anti-pattern design of implementing software.(...
- 1,187
23
votes
7
answers
1k
views
Output the Steiner system S(5,8,24)
Output 759 "rows", each of which consists of 8 distinct integers in the range 0,1,...,23, with the property that every set of 5 integers in the range 0,1,...,23 is contained in exactly one ...
- 1,954
10
votes
14
answers
822
views
Looping counter extended
The looping counter is a challenge that prints an infinite number of lines. The first line has one *, the next line has one more ...
- 1,155