给定一个单链表，判断链表中是否存在环。本题为「核心代码模式」：模板已内置链表构建与输出脚手架，只需补全指定函数。要求空间复杂度 O(1)（快慢指针）。
第一行一个整数 n（1 ≤ n ≤ 10^5）；第二行 n 个整数，依次为链表结点的值；第三行一个整数 pos（-1 ≤ pos < n）：pos ≥ 0 表示尾结点的 next 指向第 pos 个结点（从 0 计），-1 表示无环。
一行，true 或 false。
