1
This is a somewhat proof-golf-like cops-and-robbers challenge. This is the cops' thread.
Cops
Your task is to define an abstract rewriting system in which the reachability of one word from another is difficult to prove. You will prepare the following things:
A set of symbols, called the alpha...
Introduction
We know that the factorial notation is valid for all natural numbers. However, Euler had extended it for all real numbers, as well as for complex numbers by defining a function, which is known as the Gamma Function. It is represented by Γ.
Challenge
You will be given a positive fl...
iBug recently got a long bar made of composite, yet valuable materials. The bar is so long that iBug can't easily sell it for credits, so he wants to cut it. The bar is made of such fragile and magic materials that, if a part is broken, all parts of the bar made of the same material will break, t...
Python 3
from functools import lru_cache
@lru_cache(maxsize = None)
def haf(matrix):
n = len(matrix)
if n == 2: return matrix[0][1]
h = 0
for j in range(1, n):
copy = list(matrix)
del copy[:j+1:j]
copy = list(zip(*copy))
del copy[:j+1:j]
h += matrix[0][j] * haf(tuple(copy))
ret...
This topic was closed as unclear. However, all asked problem in the comment that matter seem answered in the first version statement.
1. The result should be constant when n exceed a constant.
2. Decimal and unary(use the output.length) output allowed
3. No infinity output, but infinite loop al...
