cp-library
This documentation is automatically generated by online-judge-tools/verification-helper
test/unittests/ds/view/view4_cls_test.py
- View this file on GitHub
- Last update: 2025-08-24 20:27:05+09:00
- Problem: https://onlinejudge.u-aizu.ac.jp/courses/lesson/2/ITP1/1/ITP1_1_A
Depends on
- cp_library/alg/iter/arg/argsort_ranged_fn.py
- cp_library/alg/iter/sort/isort_ranged_fn.py
- cp_library/bit/pack/packer_cls.py
- cp_library/ds/view/view4_cls.py
- cp_library/test/unittest_helper.py
Code
# verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/courses/lesson/2/ITP1/1/ITP1_1_A
import pytest
class TestView4:
def test_basic_operations(self):
"""Test basic view4 operations"""
A1 = [1, 2, 3, 4, 5]
A2 = [10, 20, 30, 40, 50]
A3 = [100, 200, 300, 400, 500]
A4 = [1000, 2000, 3000, 4000, 5000]
# Create view of slice [2:5]
v = view4(A1, A2, A3, A4, 2, 5)
assert len(v) == 3
assert v[0] == (3, 30, 300, 3000)
assert v[1] == (4, 40, 400, 4000)
assert v[2] == (5, 50, 500, 5000)
def test_setitem(self):
"""Test setting items in view"""
A1 = [1, 2, 3, 4]
A2 = [10, 20, 30, 40]
A3 = [100, 200, 300, 400]
A4 = [1000, 2000, 3000, 4000]
v = view4(A1, A2, A3, A4, 0, 3)
v[1] = (77, 770, 7700, 77000)
# Check view reflects change
assert v[1] == (77, 770, 7700, 77000)
# Check underlying arrays are modified
assert A1[1] == 77
assert A2[1] == 770
assert A3[1] == 7700
assert A4[1] == 77000
def test_append_pop(self):
"""Test append and pop operations"""
A1 = [1, 2, 0, 0, 0]
A2 = [10, 20, 0, 0, 0]
A3 = [100, 200, 0, 0, 0]
A4 = [1000, 2000, 0, 0, 0]
v = view4(A1, A2, A3, A4, 0, 2)
# Test append
v.append((3, 30, 300, 3000))
assert len(v) == 3
assert v[2] == (3, 30, 300, 3000)
# Test pop
result = v.pop()
assert result == (3, 30, 300, 3000)
assert len(v) == 2
def test_reverse(self):
"""Test reverse operation"""
A1 = [1, 2, 3, 4]
A2 = [10, 20, 30, 40]
A3 = [100, 200, 300, 400]
A4 = [1000, 2000, 3000, 4000]
v = view4(A1, A2, A3, A4, 0, 4)
v.reverse()
assert v[0] == (4, 40, 400, 4000)
assert v[1] == (3, 30, 300, 3000)
assert v[2] == (2, 20, 200, 2000)
assert v[3] == (1, 10, 100, 1000)
from cp_library.ds.view.view4_cls import view4
if __name__ == '__main__':
from cp_library.test.unittest_helper import run_verification_helper_unittest
run_verification_helper_unittest()# verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/courses/lesson/2/ITP1/1/ITP1_1_A
import pytest
class TestView4:
def test_basic_operations(self):
"""Test basic view4 operations"""
A1 = [1, 2, 3, 4, 5]
A2 = [10, 20, 30, 40, 50]
A3 = [100, 200, 300, 400, 500]
A4 = [1000, 2000, 3000, 4000, 5000]
# Create view of slice [2:5]
v = view4(A1, A2, A3, A4, 2, 5)
assert len(v) == 3
assert v[0] == (3, 30, 300, 3000)
assert v[1] == (4, 40, 400, 4000)
assert v[2] == (5, 50, 500, 5000)
def test_setitem(self):
"""Test setting items in view"""
A1 = [1, 2, 3, 4]
A2 = [10, 20, 30, 40]
A3 = [100, 200, 300, 400]
A4 = [1000, 2000, 3000, 4000]
v = view4(A1, A2, A3, A4, 0, 3)
v[1] = (77, 770, 7700, 77000)
# Check view reflects change
assert v[1] == (77, 770, 7700, 77000)
# Check underlying arrays are modified
assert A1[1] == 77
assert A2[1] == 770
assert A3[1] == 7700
assert A4[1] == 77000
def test_append_pop(self):
"""Test append and pop operations"""
A1 = [1, 2, 0, 0, 0]
A2 = [10, 20, 0, 0, 0]
A3 = [100, 200, 0, 0, 0]
A4 = [1000, 2000, 0, 0, 0]
v = view4(A1, A2, A3, A4, 0, 2)
# Test append
v.append((3, 30, 300, 3000))
assert len(v) == 3
assert v[2] == (3, 30, 300, 3000)
# Test pop
result = v.pop()
assert result == (3, 30, 300, 3000)
assert len(v) == 2
def test_reverse(self):
"""Test reverse operation"""
A1 = [1, 2, 3, 4]
A2 = [10, 20, 30, 40]
A3 = [100, 200, 300, 400]
A4 = [1000, 2000, 3000, 4000]
v = view4(A1, A2, A3, A4, 0, 4)
v.reverse()
assert v[0] == (4, 40, 400, 4000)
assert v[1] == (3, 30, 300, 3000)
assert v[2] == (2, 20, 200, 2000)
assert v[3] == (1, 10, 100, 1000)
'''
╺━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╸
https://kobejean.github.io/cp-library
'''
from typing import Generic
from typing import TypeVar
_S = TypeVar('S'); _T = TypeVar('T'); _U = TypeVar('U'); _T1 = TypeVar('T1'); _T2 = TypeVar('T2'); _T3 = TypeVar('T3'); _T4 = TypeVar('T4'); _T5 = TypeVar('T5'); _T6 = TypeVar('T6')
def argsort_ranged(A: list[int], l: int, r: int, reverse=False):
P = Packer(r-l-1); I = [A[l+i] for i in range(r-l)]; P.ienumerate(I, reverse); I.sort()
for i in range(r-l): I[i] = (I[i] & P.m) + l
return I
class Packer:
__slots__ = 's', 'm'
def __init__(P, mx: int): P.s = mx.bit_length(); P.m = (1 << P.s) - 1
def enc(P, a: int, b: int): return a << P.s | b
def dec(P, x: int) -> tuple[int, int]: return x >> P.s, x & P.m
def enumerate(P, A, reverse=False): P.ienumerate(A:=list(A), reverse); return A
def ienumerate(P, A, reverse=False):
if reverse:
for i,a in enumerate(A): A[i] = P.enc(-a, i)
else:
for i,a in enumerate(A): A[i] = P.enc(a, i)
def indices(P, A: list[int]): P.iindices(A:=list(A)); return A
def iindices(P, A):
for i,a in enumerate(A): A[i] = P.m&a
def isort_ranged(*L: list, l: int, r: int, reverse=False):
n = r - l
order = argsort_ranged(L[0], l, r, reverse=reverse)
inv = [0] * n
# order contains indices in range [l, r), need to map to [0, n)
for i in range(n): inv[order[i]-l] = i
for i in range(n):
j = order[i] - l # j is in range [0, n)
for A in L: A[l+i], A[l+j] = A[l+j], A[l+i]
order[inv[i]], order[inv[j]] = order[inv[j]], order[inv[i]]
inv[i], inv[j] = inv[j], inv[i]
return L
class view4(Generic[_T1, _T2, _T3, _T4]):
__slots__ = 'A1', 'A2', 'A3', 'A4', 'l', 'r'
def __init__(V, A1: list[_T1], A2: list[_T2], A3: list[_T3], A4: list[_T4], l: int = 0, r: int = 0):
V.A1, V.A2, V.A3, V.A4, V.l, V.r = A1, A2, A3, A4, l, r
def __len__(V): return V.r - V.l
def __getitem__(V, i: int):
if 0 <= i < V.r - V.l: return V.A1[V.l+i], V.A2[V.l+i], V.A3[V.l+i], V.A4[V.l+i]
else: raise IndexError
def __setitem__(V, i: int, v: tuple[_T1, _T2, _T3, _T4]): V.A1[V.l+i], V.A2[V.l+i], V.A3[V.l+i], V.A4[V.l+i] = v
def __contains__(V, v: tuple[_T1, _T2, _T3, _T4]): raise NotImplemented
def set_range(V, l: int, r: int): V.l, V.r = l, r
def index(V, v: tuple[_T1, _T2, _T3, _T4]): raise NotImplemented
def reverse(V):
l, r = V.l, V.r-1
while l < r:
V.A1[l], V.A1[r] = V.A1[r], V.A1[l]
V.A2[l], V.A2[r] = V.A2[r], V.A2[l]
V.A3[l], V.A3[r] = V.A3[r], V.A3[l]
V.A4[l], V.A4[r] = V.A4[r], V.A4[l]
l += 1; r -= 1
def sort(V, reverse=False): isort_ranged(V.A1, V.A2, V.A3, V.A4, l=V.l, r=V.r, reverse=reverse)
def pop(V): V.r -= 1; return V.A1[V.r], V.A2[V.r], V.A3[V.r], V.A4[V.r]
def append(V, v: tuple[_T1, _T2, _T3, _T4]): V.A1[V.r], V.A2[V.r], V.A3[V.r], V.A4[V.r] = v; V.r += 1
def popleft(V): V.l += 1; return V.A1[V.l-1], V.A2[V.l-1], V.A3[V.l-1], V.A4[V.l-1]
def appendleft(V, v: tuple[_T1, _T2, _T3, _T4]): V.l -= 1; V.A1[V.l], V.A2[V.l], V.A3[V.l], V.A4[V.l] = v
def validate(V): return 0 <= V.l <= V.r <= len(V.A1)
if __name__ == '__main__':
"""
Helper for making unittest files compatible with verification-helper.
This module provides a helper function to run a dummy Library Checker test
so that unittest files can be verified by oj-verify.
"""
def run_verification_helper_unittest():
"""
Run a dummy AOJ ITP1_1_A test for verification-helper compatibility.
This function should be called in the __main__ block of unittest files
that need to be compatible with verification-helper.
The function:
1. Prints "Hello World" (AOJ ITP1_1_A solution)
2. Runs pytest for the calling test file
3. Exits with the pytest result code
"""
import sys
# Print "Hello World" for AOJ ITP1_1_A problem
print("Hello World")
import io
from contextlib import redirect_stdout, redirect_stderr
# Capture all output during test execution
output = io.StringIO()
with redirect_stdout(output), redirect_stderr(output):
# Get the calling module's file path
frame = sys._getframe(1)
test_file = frame.f_globals.get('__file__')
if test_file is None:
test_file = sys.argv[0]
result = pytest.main([test_file])
if result != 0:
print(output.getvalue())
sys.exit(result)
run_verification_helper_unittest()