- Why wasn't Hisoka interested in fighting Meruem?
- How could Darui wield 2 of the Sage's weapons
- Sasuke vs Naruto
- What options does the US have in response to the killing of journalist Jamal Khashoggi?
- Salesforce Metadata Update tools
- Marketing Cloud: Automation Studio Email to Sales Cloud Contact
- How to build salesforce report on a parent object having childs through Master detail and lookup relationships
- What is the ruling on seeking presidential pardon or any other kind of pardon
- Zakat for startups
- Shirk or kufr or near to kufr please ans
- Hadith: There is a way to cleanse everything
- Is this hadith authentic: “Everything has a polish, which takes away rust. The polish of the heart is dhikr.”
- read data of water level sensor connected to USB port of Raspberry Pi3
- Running a Python Telegram bot at startup and 24/7
- Pauli principle history-Schrodinger equation history
- FTIR analysis, can you tell me what the polymer is?
- What is LSD-1, …, LSD-24, LSD-26, …?
- Which are the radicals containing phosphorus in ATP?
- In 1 dimension, the curvature of Ψ = K.E. of wave. Is this the case for 2 dimensions and 3 dimensions also?
- draw a Newman projection- organic chemistry

# Do half-iterate functions exist for any function?

For a given a deterministic unary function,

$$ f(x) = y $$

A half-iterate function g(x) for f(x) is one which satisfies the following:

$$ g(g(x)) = f(x) $$

For any f(x), does there exist a corresponding g(x) that is a half-iterate for f(x)?

It seems as though this must be true though I am having difficulty proving it.

Given that any deterministic unary function can be transformed into a directed graph (where $ \overrightarrow {ab} $ denotes the edge pointing from a to b):

$$ \forall \ \overrightarrow {ab} \in G, \ \ make \ \ f(a) = b$$

And likewise that any graph whose nodes have out-degree of exactly one can be transformed into a unary function -

$$ \forall \ f(a) = b, \ add\ \overrightarrow {ab} \ to \ G $$

It seems obvious that one could create g(x) by replacing each edge $ \overrightarrow {ab} $ with two others and a third node: $ \overrightarrow {ac} $ and $ \overrightarrow {cb} $. Inserting these two in place of the original edge does not change the importa