Settings
| Setting | Value |
|---|---|
| {{key}} | {{settings[key]}} |
Exploration
- BLACK denotes a block in the longest path.
- BLUE denotes a hidden block.
- RED denotes an orphaned block.
- A state where all attacker blocks are blue is a typical state where the attacker has not published anything yet.
{% elif loop.index % 5 == 1: %}
{% elif loop.index % 5 == 2: %}
{% elif loop.index % 5 == 3: %}
{% else: %}
{% endif %}
{% if loop.index % 5 == 0: %}
{% elif loop.index % 5 == 1: %}
{% elif loop.index % 5 == 1: %}
{% elif loop.index % 5 == 2: %}
{% elif loop.index % 5 == 3: %}
{% else: %}
{% endif %}
{{ pretty_state_str(state_details.get_state())|safe }}
Action bounds:
Action
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bounds = state_details.get_action_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["lower_bound"]) }}$
${{ latex(bound["upper_bound"]) }}$
}}-action-{{i}}.png)
{% endfor %}
Commitment bounds:
Commitment
Lower Bound
Plot
{% set bounds = state_details.get_commitment_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{{ commitment_str(bound["commitment"]) }}
${{ latex(bound["lower_bound"]) }}$
}}-commitment-{{i}}.png)
{% endfor %}
Lemma bounds:
Lemma
Lower Bound
Upper Bound
Plot
{% set bounds = state_details.get_lemma_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{% if bound_isinstance(bound, LemmaLowerBound): %}
{{ bound["lemma"] }}
${{ latex(bound["lower_bound"]) }}$
}}-lemma-{{i}}.png)
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["upper_bound"]) }}$
{% endif %}
{% endfor %}
Best Lower Bound:
Action, Commitment or Lemma
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bound = state_details.get_best_lower_bound() %}
{% if bound_isinstance(bound, ActionLowerBound): %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["lower_bound"]) }}$
}}-best-lower-bound.png)
{% elif bound_isinstance(bound, CommitmentLowerBound): %}
{{ commitment_str(bound["commitment"]) }}
${{ latex(bound["lower_bound"]) }}$
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["lower_bound"]) }}$
{% endif %}
Best Upper Bound:
Action or Lemma
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bound = state_details.get_best_upper_bound() %}
{% if bound_isinstance(bound, ActionUpperBound): %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["upper_bound"]) }}$
}}-best-upper-bound.png)
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["upper_bound"]) }}$
{% endif %}
Best bounds plotted together:
}}-best-bounds.png)
{% if loop.index % 5 == 0: %}
{% elif loop.index % 5 == 3: %}
{% else: %}
{% endif %}
{{ pretty_state_str(state_details.get_state())|safe }}
Action bounds:
Action
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bounds = state_details.get_action_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["lower_bound"]) }}$
${{ latex(bound["upper_bound"]) }}$
{% endfor %}
Commitment bounds:
Commitment
Lower Bound
Plot
{% set bounds = state_details.get_commitment_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{{ commitment_str(bound["commitment"]) }}
${{ latex(bound["lower_bound"]) }}$
{% endfor %}
Lemma bounds:
Lemma
Lower Bound
Upper Bound
Plot
{% set bounds = state_details.get_lemma_bounds() %}
{% for i in range(bounds | length): %}
{% set bound = bounds[i] %}
{% if bound_isinstance(bound, LemmaLowerBound): %}
{{ bound["lemma"] }}
${{ latex(bound["lower_bound"]) }}$
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["upper_bound"]) }}$
{% endif %}
{% endfor %}
Best Lower Bound:
Action, Commitment or Lemma
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bound = state_details.get_best_lower_bound() %}
{% if bound_isinstance(bound, ActionLowerBound): %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["lower_bound"]) }}$
{% elif bound_isinstance(bound, CommitmentLowerBound): %}
{{ commitment_str(bound["commitment"]) }}
${{ latex(bound["lower_bound"]) }}$
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["lower_bound"]) }}$
{% endif %}
Best Upper Bound:
Action or Lemma
Immediate Reward
Subsequent State
Lower Bound
Upper Bound
Plot
{% set bound = state_details.get_best_upper_bound() %}
{% if bound_isinstance(bound, ActionUpperBound): %}
{{ "Wait" if bound["action"][0] == 0 else bound["action"] }}
${{ latex(bound["immediate_reward"]) }}$
{{ pretty_state_str(bound["subsequent_state"])|safe }}
${{ latex(bound["upper_bound"]) }}$
{% else: %}
{{ bound["lemma"] }}
${{ latex(bound["upper_bound"]) }}$
{% endif %}
Best bounds plotted together:
{% if loop.index % 5 == 0: %}
{% endif %} {{ pretty_state_str(state_details.get_state())|safe }}
Action bounds:
| Action | Immediate Reward | Subsequent State | Lower Bound | Upper Bound | Plot |
|---|---|---|---|---|---|
| {{ "Wait" if bound["action"][0] == 0 else bound["action"] }} | ${{ latex(bound["immediate_reward"]) }}$ | {{ pretty_state_str(bound["subsequent_state"])|safe }} | ${{ latex(bound["lower_bound"]) }}$ | ${{ latex(bound["upper_bound"]) }}$ |
|
{% endfor %}
Commitment bounds:
| Commitment | Lower Bound | Plot |
|---|---|---|
| {{ commitment_str(bound["commitment"]) }} | ${{ latex(bound["lower_bound"]) }}$ |
|
{% endfor %}
Lemma bounds:
| Lemma | Lower Bound | Upper Bound | Plot | ||||
|---|---|---|---|---|---|---|---|
| {{ bound["lemma"] }} | ${{ latex(bound["lower_bound"]) }}$ |
|
{% else: %}
{{ bound["lemma"] }} | ${{ latex(bound["upper_bound"]) }}$ |
|
{% endif %}
Best Lower Bound:
| Action, Commitment or Lemma | Immediate Reward | Subsequent State | Lower Bound | Upper Bound | Plot | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| {{ "Wait" if bound["action"][0] == 0 else bound["action"] }} | ${{ latex(bound["immediate_reward"]) }}$ | {{ pretty_state_str(bound["subsequent_state"])|safe }} | ${{ latex(bound["lower_bound"]) }}$ |
|
{% elif bound_isinstance(bound, CommitmentLowerBound): %}
{{ commitment_str(bound["commitment"]) }} | ${{ latex(bound["lower_bound"]) }}$ |
|
{% else: %}
{{ bound["lemma"] }} | ${{ latex(bound["lower_bound"]) }}$ |
|
{% endif %}
Best Upper Bound:
| Action or Lemma | Immediate Reward | Subsequent State | Lower Bound | Upper Bound | Plot | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| {{ "Wait" if bound["action"][0] == 0 else bound["action"] }} | ${{ latex(bound["immediate_reward"]) }}$ | {{ pretty_state_str(bound["subsequent_state"])|safe }} | ${{ latex(bound["upper_bound"]) }}$ |
|
{% else: %}
{{ bound["lemma"] }} | ${{ latex(bound["upper_bound"]) }}$ |
|
{% endif %}
Best bounds plotted together: